Modus Ponens - это...

Латинское название метода отрицания, логический вывод формы: "Если А, то В; не А, следовательно не В".


Поделиться:

Реклама