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