Реферат: Исчисление высказываний

ØsÞØq

hÞØs

u

Из 1, 5 п. Modus ponens получаем pÚq

Предположим [q]

Из 3, 7 п. ModusTollens получаем s

Из 7, 8 и “введение Þ“получаем qÞs

Из 4, 10 п. Modus Tollens Øh

Итак, Ерошкин не мог участвовать в ограблении.