Математика

Логико-аналитические теоремы об исключенных и неисключенных логических возможностях и "Альтернативный метод доказательства от противного"

В настоящей работе рассматриваются вопросы соответствия и логических различий между аристотелевской традиционной логикой и классической формальной логикой нулевого порядка. В рамках классической формальной логики нулевого порядка сформулированы и доказаны логико-аналитические теоремы об исключенных и неисключенных логических возможностях. Также рассмотрены некоторые логические особенности применения классического метода доказательства от противного в рамках классической формальной логики нулевого порядка.