Условие задачи
Проверить правильность логического вывода методом прямого преобразования, методом семантических таблиц и методом резолюций
Контракт будет выполнен тогда и только тогда, когда дом будет закончен в феврале. Если дом будет закончен в феврале, то мы можем переезжать 1-го марта. Если мы не сможем переехать 1-го марта, то мы должны внести квартирную плату за март. Если контракт не выполнен, то мы должны внести квартирную плату за март. Вывод: мы не будем вносить плату за март.
Ответ
1. Метод прямого преобразования.
На языке исчисления высказываний эти условия запишутся так
где
В контракт выполнен
F дом сдан в феврале
P будем вносить плату за март
M переехать 1 марта
Докажем, что является тавтологией
Потяни
