[p]

pÞq

III.

Удаление Þ

p

IV.

Удаление Û

1.

(Modus ponens)

1.

2.

Øq

(Modus tollens)

2.

V.

Введение Ø

VI.

Удаление Ø

1.

Поделитесь этой записью или добавьте в закладки