Завдання 9. Записати складні висловлення у вигляді формул, використовуючи висловлювальні змінні для простих висловлень (атомів):

Завдання 8.

Завдання 7.

Завдання 6.

Завдання 5.

Записати складні висловлення у вигляді формул, використовуючи висловлювальні змінні для простих висловлень (атомів):

а) «Для того, щоб було непарним, достатньо, щоб було простим.»;

б) «Якщо на небі хмари, то йде дощ.»;

в) «Якщо йде дощ, то на небі хмари.»;

г) «Дощ йде тоді й тільки тоді, коли на небі хмари.»;

д) «Невірно, що дощ йде тоді й тільки тоді, коли на небі немає хмар.».

Розставити всілякими способами дужки в наступних формулах:

а) б)

Виключити якомога більше число дужок у формулах:

а) ;

б) .

Побудувати складні висловлення з використанням тільки зазначених операцій: а) еквівалентність; б) імплікація і кон’юнкція; в) заперечення, кон’юнкція і диз’юнкція.

Чи є наступні формули загальнозначущими, суперечливими або несуперечливими: а) б) в) г)

Дата добавления: 2014-12-07