Розв’язок.

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

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

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

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