Латинское название метода отрицания, логический вывод формы: "Если А, то В; не А, следовательно не В".
357.86 кб
Топологическое представление материальной импликации и правила вывода modus ponens
В настоящей статье вводятся и обосновываются некоторые основные элементы методологического подхода, характеризуемого применением топологических средств анализа и представления сущностей посредством актуализации произвольной явной