Експрес-тест до модуля 6

1. Запишіть не менше 6-ти логічних сполучників, відповідних їм сим­волів логічних операцій та назвіть їх.

2. Побудуйте матрицю істинності кон’юнкції, яка складається з двох атомів.

3. Те саме для диз’юнкції.

4. Tc саме для сильної диз’юнкції.

5. Те саме для імплікації.

6. Tc саме для подвійної імплікації.

7. Побудуйте матрицю істинності будь-якої логічної операції для трьох змінних.

8. Запишіть не менше 5-ти пар еквівалентних формул логіки вислов­лювань.

9. Назвіть не менше 2-х випадків, коли імплікація є істинною.

10. Побудуйте матрицю істинності для двох довільних формул, які зна­ходяться у відношенні логічного слідування.