Задание №2.

Задание 1.

Доказать или опровергнуть умозаключение по заданному модусу путём построения диаграмм Эйлера.

Варианты заданий в формате: (номер фигуры силлогизма, название фигуры).

1. 1-Celarent.

2. 1-Darii.

3. 1-Ferio.

4. 2-Cesare.

5. 2-Camestres.

6. 2-Festino.

7. 2-Baroko.

8. 3-Darapti,

9. 3-Disamis.

10. 3-Disamis.

11. 3-Felapton.

12. 4-Bocardo.

13. 4-Ferison.

14. 4-Bramantip.

15. 4-Camenes.

16. 4-Dimaris.

17. 4-Fesapo.

18. 4-Fresison.

19. 1-Darii.

20. 1-Ferio.

21. 2-Cesare.

22. 2-Camestres.

23. 2-Festino.

24. 2-Baroko.

25. 3-Darapti.

26. 3-Disamis.

27. 3-Disamis.

28. 3-Felapton.

29. 4-Bocardo.

30. 4-Ferison.

Задание №2.

Формализовать высказывание. Получить СДНФ, СКНФ, ДНФ, КНФ. Представить высказывание в виде суперпозиции только следующих операций 1) «Штрих Шеффера», 2) «Стрелка Пирса», 3) «Импликация» и «Константа нуля»(«0»).

1. «Если я замолчу – возопиют камни и реки потекут вспять».
2. «Если возопиют камни или реки не потекут вспять, то я замолчу».
3. «Если мед есть, то горшок становится пустым, а Винни-Пух – сытым».
4. «Студент сдает зачет на 4 или на 5 тогда и только тогда, когда добросовестно решает задачи по математической логике».
5. «Если я сдам зачет по математической логике, то пойду в казино или в кино».
6. «А тогда и только тогда, когда В тогда и только тогда, когда С».
7. «Если зажигают звезды, то это кому-нибудь нужно; все это – тогда и только тогда, когда не хлебом единым жив человек».
8. «Неверно, что если число делится на 3 и 2, то оно делится на 10».
9. «Если студент сдает зачет по математической логике, то неверно, что его отчисляют от обучения и выдают документы».
10. «Студент не сдает зачет тогда и только тогда, когда он не выполнил контрольную работу и не имеет конспекта лекций.
11. «Неверно, что если я замолчу – возопиют камни и реки потекут вспять».
12. «Неверно, что если возопиют камни или реки не потекут вспять, то я замолчу».
13. «Неверно,что если мед есть, то горшок становится пустым, а Винни-Пух – сытым».
14. «Неверно,что студент сдает зачет на 4 или на 5 тогда и только тогда, когда добросовестно решает задачи по математической логике».
15. «Неверно, что если я сдам зачет по математической логике, то пойду в казино или в кино».
16. «Неверно, что А тогда и только тогда, когда В тогда и только тогда, когда С».
17. «Если зажигают звезды, то это кому-нибудь нужно; неверно, что все это – тогда и только тогда, когда не хлебом единым жив человек».
18. «Если число делится на 3 и 2, то оно делится на 10».
19. «Неверно, что если студент сдает зачет по математической логике, то неверно, что его отчисляют от обучения и выдают документы».
20. «Неверно, что студент не сдает зачет тогда и только тогда, когда он не выполнил контрольную работу и не имеет конспекта лекций».
21. «Если я не замолчу – возопиют камни и реки потекут вспять».
22. «Если не возопиют камни или реки не потекут вспять, то я замолчу».
23. «Если мед не есть, то горшок не становится пустым, а Винни-Пух – голодным».
24. «Студент не сдает зачет на 4 или на 5 тогда и только тогда, когда не решает задачи по математической логике».
25. «Если я сдам зачет по математической логике, то не пойду в казино или в кино».
26. «Не А тогда и только тогда, когда В тогда и только тогда, когда не С».
27. «Если зажигают звезды, то это кому-нибудь нужно; все это – тогда и только тогда, когда хлебом единым жив человек».
28. «Неверно, что если число делится на 3 и 2, то оно не делится на 10».
29. «Если студент сдает зачет по математической логике, то его не отчисляют от обучения и выдают премию».
30. «Студент сдает зачет тогда и только тогда, когда он выполнил контрольную работу и имеет конспект лекций».

Дата добавления: 2015-07-11