Проверить правильность логического вывода методом прямого преобразования, методом семантических таблиц и методом резолюций Контракт будет выполнен тогда и только тогда,
«Проверить правильность логического вывода методом прямого преобразования, методом семантических таблиц и методом резолюций Контракт будет выполнен тогда и только тогда,»
- Логика
Условие:
Проверить правильность логического вывода методом прямого преобразования, методом семантических таблиц и методом резолюций
Контракт будет выполнен тогда и только тогда, когда дом будет закончен в феврале. Если дом будет закончен в феврале, то мы можем переезжать 1-го марта. Если мы не сможем переехать 1-го марта, то мы должны внести квартирную плату за март. Если контракт не выполнен, то мы должны внести квартирную плату за март. Вывод: мы не будем вносить плату за март.
Решение:
1. Метод прямого преобразования.
На языке исчисления высказываний эти условия запишутся так
где
В контракт выполнен
F дом сдан в феврале
P будем вносить плату за март
M переехать 1 марта
Докажем, что является тавтологией
Похожие задачи
Не нашел нужную задачу?
Воспользуйся поиском
AI помощники
Выбери предмет
S
А
Б
В
Г
И
К
М
П
- Правоохранительные органы
- Пожарная безопасность
- Парикмахерское искусство
- Природообустройство и водопользование
- Почвоведение
- Приборостроение и оптотехника
- Промышленный маркетинг и менеджмент
- Производственный маркетинг и менеджмент
- Процессы и аппараты
- Программирование
- Право и юриспруденция
- Психология
- Политология
- Педагогика
С
Т
- Трудовое право
- Теория государства и права (ТГП)
- Таможенное право
- Теория игр
- Теория вероятностей
- Теоретическая механика
- Теория управления
- Технология продовольственных продуктов и товаров
- Технологические машины и оборудование
- Теплоэнергетика и теплотехника
- Туризм
- Товароведение
- Таможенное дело
- Торговое дело
- Теория машин и механизмов
- Транспортные средства
Ф
Э