Матлогика. Исчисление высказываний. Доказать формулу
Задание по матлогике. Используя "11 аксиом, на которых основывается каждое доказательство", правила вывода (правило подстановки и правило заключения), и правило следствия, доказать следующую теорему:
(¬(x∧y)→(x∧y))→(x∧y)
По дате
По рейтингу
Попробовал решить, правда в самом начале в условии пропустил скобку, не увидел просто, в итоге провозился дольше, однако моё решение:
((X∧Y) v (X∧Y)) => (X∧Y),
¬((X∧Y) v (X∧Y)) v (X∧Y),
¬(X∧Y) ∧ ¬(X∧Y) v (X∧Y),
(¬X v ¬Y) ∧ (¬X v ¬Y) v (X∧Y),
(¬X v ¬Y) v (X∧Y),
¬(X∧Y) v (X∧Y) = 1.
Кто сказал что никто не знает? Хмм...
https://tablica-istinnosti.ru/ru/
https://cloud.mail.ru/public/8dic/1HJN7d7Nm
Технику выбрал случайно?