Контрольная Логика. Задания 1-4, номер: 152900

"Задание 1. 3
Верно ли, что из формул XvYvZ, XvYv ¬Z, ¬XvY логически следует
а) X ; б)Y ; с) Z
Задание 2. 3
Установить является ли правильным следующее рассуждение: Если Джонс не встречал этой ночью Смита (A), то либо Смит был убийцей (S), либо Джонс лжет (P). Если Смит не был убийцей( ¬S), то Джонс не встречал Смита этой ночью (A), и убийство имело место после полуночи (B). Если убийство имело место после полуночи (B), то либо Смит был убийцей (S), либо Джонс лжет (P). Следовательно, Смит был убийцей (S).
Задание 3 4
Можно ли вывести без закона исключенного третьего следующую формулу:
а) (X?Y) ?(¬XvY); б) ( ¬XvY) ? (X ?Y)
Задание 4. 5
Проверить правильность следующего силлогизма (с помощью диаграммы Эйлера, теоремы о полноте или правил силлогизмов). Указать фигуру данного силлогизма
Все жители Восточной Европы (P) – европейцы (M)
Все москвичи (S) – европейцы (M)
Следовательно, все москвичи (S) – жители Восточной Европы (P)
Литература 7"