а) Если доказуема формула 
, то доказуема формула 
.
б) Если доказуема формула 
, то доказуема формула .
Схематичная запись: ├ А → 
и ├ 
→В
├ ├ .
Правило снятия двойного отрицания
2017-11-01
801Поделись с друзьями:
Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:
|
|
Сейчас читают про:
6168
6027