Условие задачи
Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции.
Заданное рассуждение:
За каждое небольшое опоздание менеджер лишается 5% зарплаты. Если менеджер опаздывает и приезжает после полудня, то получает выговор. Менеджер получил выговор с вычетом 5% зарплаты. Значит, менеджер приехал после полудня.
Ответ
Обозначим высказывания:
А = 'Менеджер немного опоздал на работу',
В = 'Менеджер лишается 5% зарплаты ',
C = 'Менеджер приехал на работу после полудня ',
D = 'Менеджер получил выговор'.
Запишем заданное рассуждение в логической символике с использованием введенных высказываний:
(В заключении мы учли, что менеджер получил только выговор, но не лишился 5% зарплаты, поэтому в качестве вывода написано не D, ...
