Тема: Метод резолюций при исчислении высказываний
Состоит из двух частей:
теоретической и практической
в теоретической раскрыть понятия метода, привести простые примеры.
в практической решить задачу.
Ни поэты, ни отшельники не могут быть палачами.
Палач будет художником только в том случае, если он китаец.
Если человек не китаец, то он не станет хорошим палачом.
Кроме этого китайцы являются хорошими поэтами.
Все китайцы в мире становятся либо художниками, либо поэтами.
Все хорошие люди либо поэты, либо отшельники.
Палачи не могут быть хорошими людьми.
Не отшельники являются либо палачами, либо китайцами.
Следовательно, некоторые поэты в мире хорошие люди.
требования к объему: 14й шрифт, 1.5 интервал, объем страниц 20-25.
Опубликован 17.04.2010 в 13:45 Последнее изменение: 17.04.2010 в 13:45