Розв’язок. Доведемо рівність двох множин з використанням логіки висловленьДоведемо рівність двох множин з використанням логіки висловлень. Нехай Завдання 6. Довести рівносильність у логіці висловлень: Розв’язок. Доведемо рівносильність, використовуючи таблицю істинності для формули Таблиця 8.1 − Таблиця істинності для формул
Формули приймають однакові істиннісні значення, отже, вони рівносильні. Завдання 7. Показати, що висловлення
|
- висловлення: 
=«
», 
=«
»,. Тоді висловлення «
» можна записати у вигляді формули 
. Висловлення «
» можна записати у вигляді формули 
. Тому що праворуч і ліворуч та сама формула, то формули еквівалентні.
.
і формули 
(табл. 8.1).
є логічним наслідком висловлення 
.
