Условие задачи
Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции.
Я куплю новый телефон, если я буду хорошо работать и мне оставят чаевые. Чаевые оставляют, только если я хорошо работаю. Я отлично работал. Значит я приобрету новый телефон.
Ответ
Обозначим высказывания: А = 'Я куплю новый телефон', В = 'Я хорошо работаю ', C = 'Мне оставят чаевые '.
Предложение " Я куплю новый телефон, если я буду хорошо работать и мне оставят чаевые " записываем так: 
предложение " Чаевые оставляют, только если я хорошо работаю " записывается так: Предложение "Я отлично работал " несет тот же смысл здесь, что и предложение 'Я хорошо работал'.
Потяни
