Получаются с помощью правил подстановки и заключения и позволяют получить новые доказуемые формулы
1) Правило одновременной подстановки
Пусть А доказуемая формула, x1,x2, …xn переменные B1..Bn любые формулы исчисления высказывания. Тогда результат одновременной подстановки в А вместо x1,x2, …xn соответственно формуло1 B1..Bn доказуемой формулой.
2) Правило сложного заключения
Применимо к формулам следующего вида:
(*)
И формулируется так:
Если формулы и (*) доказуемы, то и формула L доказуема.
Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет
studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление