Доказать в исчислении высказываний

[warlock66613]

Cort в сообщении #1321357 писал(а):

Я же должен в итоге получить B?

Да.

Можно доказать $\neg A \to B$, а потом объединить с (1) и получить, таким образом, $B$.
$\neg A \to B$ следует из $A$, а последнее можно получить из (5).

Но я не утверждаю, что это самый простой путь.

[damir_777]

А методом резолюций?

-- 12.09.2018, 19:49 --

А методом резолюций?