Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | ||
|
Означення 13.4. Формула G логіки предикатів називається логічним наслідком формули F, якщо при будь-якій інтерпретації, при якій формула F перетворюється в тотожно істинний предикат, формула G також перетворюється в тотожно істинний предикат. Цей факт записують так F ╞ G. Як і в алгебрі висловлень F ╞ G Û F ® G.
Дві формули рівносильні тоді й тільки тоді, коли кожна із них є логічним наслідком іншої.
Приклади логічних наслідків.
╞
╞
╞ ;
╞ ;
╞ ;
╞ .
Звернемо увагу на тавтології, які виражають закони вилучення квантора загальності й введення квантора існування ╞ , ╞ за умови, що предметна змінна у не входить вільно в формулу F(x). Із цих тавтологій одержуються наступні логічні наслідки: ╞ - правило вилучення квантора загальності (або правило універсальної конкретизації);
╞ - правило введення квантора існування (або правило екзистенціального узагальнення).
Дата публикования: 2015-04-07; Прочитано: 1670 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!