Запитання для самоконтролю та вправи

1. Побудуйте зведену таблицю істинності всіх логічних операцій (кон’юнкція, диз’юнкція, сильна диз’юнкція, імплікація, подвійна імплікація, заперечення). Використовуйте її при вирішенні наступ­них задач.

2.

a) Р. Декарт був великим філософом, математиком та природознавцем;

b) або дощ, або сніг, або буде, або ні;

c) якщо хочеш миру, готуйся до війни;

d) якщо ви дещо втратили, то це правильно тоді і тільки тоді, коли ви це дещо мало до того, як його втратити.

3. Висловлюється істинна молекула, яка складається з двох атомів. Яким сполучником їх треба з’єднати, щоб показати:

a) що обидва вони істинні;

b) що принаймні один з них істинний:

c) що тільки один з них істинний;

d) що значення їх істинності збігаються.