Высказывание, отрицание высказывания, конъюнкция высказываний, дизъюнкция высказываний, импликация высказываний, эквиваленция высказываний, формула логики высказываний, тождественно истинная формула логики высказываний, тождественно ложная формула логики высказываний, выполнимая, опровержимая формула логики высказываний, равносильные формулы, логическое следствие.
Основные теоремы и утверждения темы
Теорема о свойствах операций над высказываниями.
Рекомендуемая литература
1.Конспект лекций О.Б. Лупанова по курсу «Введение в математическую логику». – М.: Изд-во ЦПИ при механико-математическом факультете МГУ им. М.В. Ломоносова. – 2007.
2.Игошин В.И. Математическая логика и теория алгоритмов. Саратов: Саратовский университет, 1991.
3.Игошин В.И. Задачник-практикум по математической логике. М.: Просвещение, 1986.
4.Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. М.: Наука, 1975.
Задание 5.1. Составить таблицу истинности для формулы α. Определить, является ли данная формула тождественно истинной, тождественно ложной, выполнимой, опровержимой:
1. .
2. .
3. .
4. .
5. .
6. .
7. .
8. .
9. .
10. .
11. .
12. .
13. .
14. .
15. .
16. .
17. .
18. .
19. .
20. .
Задание 5.2. Доказать равносильность формул и логики высказываний двумя способами:
· с помощью таблицы истинности;
· с помощью свойств операций над высказываниями.
1. , .
2. , .
3. .
4. , .
5. , .
6. , .
7. , .
8. , .
9. , .
10. , .
11. , .
12. , .
13. , .
14. , .
15. , .
16. , .
17. , .
18. , .
19. , .
20. , .
Задание 5.3.Проверить, логично ли проведены следующие рассуждения:
1.Если гражданин законопослушен, то он не совершит преступления. Гражданин Иванов – не законопослушен. Значит, он совершит преступление.
2.Если бы он не пошел в кино, то он не получил бы двойки. Если бы он подготовил домашнее задание, то не пошел бы в кино. Он получил двойку. Значит, он не подготовил домашнее задание.
3.Дима или заболел, или не выучил уроки. Если Дима болеет, то он не идет в школу. Дима пошел в школу. Следует ли отсюда, что он выучил уроки?
4.Если Маша идет в библиотеку и замок в ее портфеле исправен, то Маша берет с собой портфель. Завтра Маша пойдет в библиотеку, а замок в портфеле исправен не будет. Следует ли отсюда, что Маша не возьмет с собой портфель?
5.Если будет инфляция, то заработная плата увеличится. Если инфляции не будет, то уменьшатся налоги. Следовательно, либо заработная плата увеличивается, либо уменьшаются налоги.
6.Или Иванов победит в соревнованиях, или Петров выиграет в лотерее. Если Иванов победит в соревнованиях, то его наградят грамотой. Если Петров выиграет в лотерее, то он получит приз. Следует ли отсюда, что либо Иванова наградят грамотой, либо Петров получит приз?
7.Если 1 – натуральное число, то 1 – наименьшее натуральное число. Если 1 – наименьшее натуральное число, то 0 не является натуральным числом. Число 0 не является натуральным. Следует ли отсюда, что 1 – наименьшее натуральное число? Следует ли отсюда, что 1 – натуральное число?
8.Если человек осужден судом, то он лишается избирательных прав. Если человек признан невменяемым, то он также лишается избирательных прав. Следовательно, если человек обладает избирательным правом, то он здоров и не был осужден судом.
9.Иванов утверждает, что не встречал этой ночью Сидорова. Если Иванов не встречал этой ночью Сидорова, то либо Сидоров был убийцей, либо Иванов лжет. Если Сидоров не был убийцей, то Иванов не встречал его этой ночью, а убийство было совершено после полуночи. Если убийство было совершено после полуночи, то либо Сидоров был убийцей, либо Иванов лжет. Следовательно, убийцей был Сидоров.
10.Для того чтобы сдать экзамен, мне необходимо достать конспект. Я достану конспект только в том случае, если мой приятель не уедет. Мой приятель уедет, только если я сдам экзамен. Следовательно, я сдам экзамен.
11.Если я пойду завтра на первое занятие, то должен буду рано встать, а если я пойду вечером на дискотеку, то лягу спать поздно. Если я лягу спать поздно и встану рано, то буду вынужден довольствоваться пятью часами сна. Значит, я должен или пропустить завтра занятие, или не ходить вечером на дискотеку.
12.Если будет холодно, то я надену теплое пальто, если рукав будет починен. Завтра будет холодно, а рукав не будет починен. Следовательно, я не надену теплое пальто.
13.Андрей или очень переутомился, или болен. Если он переутомился, то он раздражается. Он не раздражается. Следовательно, Андрей не болен.
14.Если Антон ляжет спать сегодня поздно, то утром он будет в нерабочем состоянии. Если он ляжет не поздно, то ему будет казаться, что он много времени теряет бесполезно. Следовательно, или Антон завтра будет в нерабочем состоянии, или ему будет казаться, что он много времени теряет напрасно.
15.Если выиграет самарский «Спартак», то Самара будет торжествовать. Если же выиграет саратовский «Сокол», то торжествовать будет Саратов. Выиграет или «Спартак», или «Сокол». Однако если выиграет «Спартак», то Саратов не будет торжествовать, а если выиграет «Сокол», то торжествовать не будет Самара. Следовательно, Самара будет торжествовать тогда и только тогда, когда не будет торжествовать Саратов.
16.Или Анна и Антон одного возраста, или Анна старше Антона. Если Анна и Антон одного возраста, то Наташа и Антон не одного возраста. Если Анна старше Антона, то Антон старше Николая. Значит, либо Наташа и Антон не одного возраста, либо Антон старше Николая.
17.Если 6 – составное число, то 12 также составное число. Если 12 – составное число, то существует простое число больше, чем 12. Если существует простое число больше 12, то существует составное число больше 12. Если 6 делится на 2, то 6 – составное число. Число 12 составное. Следовательно, 6 – составное число.
18.Если я поеду автобусом, а автобус опоздает, то я пропущу назначенное свидание. Если я пропущу назначенное свидание и начну огорчаться, то мне не следует ехать домой. Если я не получу работу, то я начну огорчаться и мне следует поехать домой. Следовательно, если я поеду автобусом, и автобус опоздает, то я получу работу.
19.Если Александр выиграет теннисный турнир, то он будет доволен, а если он будет доволен, то он плохой борец в последующих турнирах. Но если он проиграет этот турнир, то потеряет поддержку своих болельщиков. Он плохой борец в последующих турнирах, если потеряет поддержку своих болельщиков. Если он плохой борец в последующих турнирах, то ему следует прекратить занятия теннисом. Александр или выиграет этот турнир, или проиграет его. Следовательно, ему нужно прекратить занятия теннисом.
20.Если цех II не будет участвовать в выпуске нового образца продукции, то не будет участвовать и цех I. Если же цех II будет участвовать в выпуске нового образца, то в этой работе непременно должны быть задействованы цехи I и III. В выпуске нового образца будет участвовать цех I. Следовательно, необходимо участие в работе цеха III.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
и 
логики высказываний двумя способами:
, 
.
, 
.
.
, 
.
, 
.
, 
.
, 
.
, 
.
, 
. 
, 
.
, 
.
, 
.
, 
.
, 
.
, 
.
, 
.
, 
.
, 
.
, 
.
, 
.