Если Х, то Y; Х
Y
модус толленс
МТ
:
Если Х, то Y; не- Y
Y
Если Х, то Y; не- YYЕсли Х, то Y; не- Y