Все задания расписать.
1. Записать рассуждение в логической символике, обосновать выбор логических
связок
2. Проверить правильность рассуждения методом Куайна или методом
редукции
3. Проверить правильность рассуждения методом резолюций
Текст:
. Если человек обедает в кафе быстрого питания, то он голоден и куда-то торопится.
Человек не обедает в кафе быстрого питания, хотя и очень торопится. Значит, он
голоден.