матлогика, присоединение формулы

[gefest_md]

Почему присоединение к исчислению высказываний пропозициональной формулы А в качестве аксиомы (а не схемы аксиом) тогда и только тогда нарушает простую непротиворечивость, когда А является тождественно ложной формулой?

[gefest_md]

Помогите ответить:
Почему присоединение к исчислению высказываний пропозициональной формулы А в качестве аксиомы (а не схемы аксиом) тогда и только тогда нарушает простую непротиворечивость, когда А является тождественно ложной формулой?

[PAV]

PAV:

Вопрос отделен в самостоятельную тему. Автору замечание за дублирование сообщения.