Математическая Логика. Билет с зачёта

Автор темы diega 
ОбъявленияПоследний пост
ОбъявлениеПравила и принципы форума «Высшая математика»28.10.2009 15:17
ОбъявлениеСтуденты и преподаватели мехмата МГУ могут бесплатно получать лицензию на Wolfram Mathematica25.11.2020 00:55
ОбъявлениеМатематики, программисты, репетиторов (платформа SapioX)28.01.2021 12:47
24.02.2021 21:57
Математическая Логика. Билет с зачёта
Всем привет. Подскажите, пожалуйста, решение этих двух задач, либо хотя бы первой. Я первую пробовал решить так, как на моём фото, но преподаватель сказал, что это неправильный метод решения
https://ibb.co/TPZhwYB - билет
https://ibb.co/njJqwpv - моё решение первой задачи
25.02.2021 02:56
Не всё у Вас понятно
1) Вы опускаете символ конъюнкции?
У Вас имеются записи:$F_2=Z\negW$. Видимо, имеется ввиду конъюнкция:
$F_2=Z\wedge\negW$?
2) Кроме того, $F_1=X\negY\veeZ$ - пропущены скобки, что допустимо при некотором соглашении.
Видимо, конъюнкция "похожа" на умножение, а дизъюнкция - сложение? Т.е у Вас имеется ввиду:
$F_1=(X\wedge\negY)\veeZ$

Если я всё правильно понял, то Вы неправильно представили формулу $F_1$ в виде дизъюнктов. Там у Вас один дизъюнкт $X$, а должен быть $X\veeZ$. Второй дизъюнкт - правильный.
Под номером три стоит конъюнкция - её не должно быть, её операнды (оба!) являются дизъюнктами. Т.е дизъюнктами будут $Z$ и $\negW$.
Впрочем, пустой дизъюнкт не выводим, следовательно, требуемая формула не выводима из данных посылок.
Вероятно, в условии имеется опечатка (или я не понял Ваши соглашения о записи формул).
Извините, только зарегистрированные пользователи могут публиковать сообщения в этом форуме.

Кликните здесь, чтобы войти