а) Если доказуема формула
, то доказуема формула
.
б) Если доказуема формула
, то доказуема формула
.
Схематичная запись: ├ А →
и ├
→В
├
├
.
а) Если доказуема формула
, то доказуема формула
.
б) Если доказуема формула
, то доказуема формула
.
Схематичная запись: ├ А →
и ├
→В
├
├
.
|
|