В каждой из следующих задач выведите данную формулу из пустого множества посылок.
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; просмотров: 913;