Розв’язок. Введемо позначення атомарних формул: буквою позначимо « »; буквою позначимо «

Розв’язок.

Введемо позначення атомарних формул: буквою позначимо «»; буквою позначимо «»; буквою позначимо «»; буквою позначимо «». Висловлення 1) відповідає формулі . Висловлення 2) відповідає формулі . Будемо вважати, що атоми і істинні (), а атоми і − хибні (). Визначимо істиннісні значення складних висловлень: ; .

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

1) «6 ділиться на 3, і 10 більше 5»;

2) «6 ділиться на 3, і 7 більше 10».

Виділимо атоми, їх три: – «6 ділиться на 3», – «10 більше 5», – «7 більше 10».

Тоді висловлення 1) буде відповідати формулі , висловлення 2) буде відповідати формулі . Будемо вважати, що висловлення і істинні, а висловлення хибне. Використовуючи істиннісні значення висловлень , визначимо значення висловлень 1) і 2): ; .

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

а) ; б) .

Дата добавления: 2014-12-07; Просмотров: 471; Нарушение авторских прав?; Мы поможем в написании вашей работы!