Записати складні висловлення у вигляді формул, використовуючи висловлювальні змінні для простих висловлень (атомів):
а) «Для того, щоб було непарним, достатньо, щоб було простим.»;
б) «Якщо на небі хмари, то йде дощ.»;
в) «Якщо йде дощ, то на небі хмари.»;
г) «Дощ йде тоді й тільки тоді, коли на небі хмари.»;
д) «Невірно, що дощ йде тоді й тільки тоді, коли на небі немає хмар.».
Розставити всілякими способами дужки в наступних формулах:
а) б)
Виключити якомога більше число дужок у формулах:
а) ;
б) .
Побудувати складні висловлення з використанням тільки зазначених операцій: а) еквівалентність; б) імплікація і кон’юнкція; в) заперечення, кон’юнкція і диз’юнкція.
Чи є наступні формули загальнозначущими, суперечливими або несуперечливими: а) б) в) г)
Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет
studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление