Правило снятия двойного отрицания

а) Если доказуема формула , то доказуема формула .

б) Если доказуема формула , то доказуема формула .

Схематичная запись: ├ А → и →В

.




double arrow
Сейчас читают про: