Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Логічна рівносильність формул



Лекція 3

План

1. Логічна рівносильність формул.

2. Рівносильні перетворення формул.

Логічна рівносильність формул

Формули F і H алгебри висловлень називаються рівносильними (еквівалентними), якщо при довільних значеннях пропозиційних змінних із яких вони складаються, логічні значення висловлень, які одержуються із F і Н збігаються.

Якщо формули F і Н рівносильні, то пишуть F Н. Означення рівносильності формул F і Н можна записати символічно: F H = для будь-яких висловлень А1, А2,..., Аn.

Означення логічної рівносильності формул не вимагає, щоб у кожну із цих формул обов’язково входили одні й ті ж змінні. Деякі із змінних можуть бути відсутніми в будь-якій із них. Наприклад, формули і рівносильні. Це випливає із наступної таблиці істинності

         
         
         
         

Рівносильними є, наприклад, формули .





Дата публикования: 2015-03-26; Прочитано: 429 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2025 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.006 с)...