Нужна по математической логике Задание 1. Докажите, что имеют место следующие выводимости, построив соответствующие выводы из гипотез:
F |- H->(not(G)->F),
Задание 2. Используя теорему о дедукции, докажите следующие выводимости:
(F->G)->((not(F)->G)->G)
Задание 3. Используя производные правила вывода или метод резолюций, докажите, что справедливы следующие выводимости:
not(G),H |- GvH
Задание 4. Решите одно из первых двух заданий методом резолюций

hromovaalyona2    3   07.04.2021 00:24    13