В каждой из следующих задач выведите данную формулу из пустого множества посылок.
2.41 (p & p).
2.42 (p & p) Й q.
Определение 21 (Истинность секвенций). Секвенция G |– ^ тождественно истинна, если G не выполнима.
2.43 Правило удаления отрицания корректно.
2.44 Правило введения отрицания корректно.
2.45 Правило противоречия корректно.
Правила для дизъюнкции
Оставшиеся три правила вывода – правила введения и удаления дизъюнкции:
| G |– F | G |– G | |||
| (В Ъ) | 
|
| ||
| G |– F Ъ G | G |– F Ъ G |
| G |– F Ъ G G И F |– C G И G |– C | |
| (У Ъ) |
|
| G |– C |
Здесь F и G – формулы, и C – либо формула, либо ^.
Дата добавления: 2015-10-05; просмотров: 908;