Контрольная Логика. 4 задачи, номер: 152877

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