![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
1. Формула φ тождественно ложна тогда и только тогда, когда не φ тождественно истинна (|=неφ);
2. Формула φ опровержима тогда и только тогда, когда она не является тождественно истинной (| φ);
3. Формула φ выполнима тогда и только тогда, когда она не является тождественно ложной.
Тождественно истинные (соответственно тождественно ложные) формулы образуют класс эквивалентности по отношению ~.
4.Если формула φ1 тождественно истинна, φ0 - тождественно ложна, то для любых формул φ и ψ справедливы следующие эквивалентности:
φ φ1 ~ φ; φ
φ0 ~ φ0;
φ φ1 ~ φ1; φ
φ0 ~ φ;
~φ1;
~φ1;
~φ0;
~
;
~φ.
Дата публикования: 2014-11-04; Прочитано: 376 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!