Практична робота №8

Тема: Логічний висновок на базі алгебри висловлень.

Мета: Навчитись наслідковість логічних тверджень.
Завдання:
1. Довести наслідковість твердження:
Для того, щоб бути допущеним до іспитів, необхідно отримати залік з
дискретної математики. Я отримаю цей залік, якщо навчуся розв'язувати
логічні задачі. Я не навчився розв'язувати логічні задачі. Отже, я не буду
допущений до іспитів. (a,b,c).
2. Чи є множина несуперечна та для якого набору значень усі три
висловлення істинні (тобто хто каже правду?).
Слідчий допитує трьох свідків: А, Б, В. Свідок А стверджує, що Б
говорить неправду. Б наполягає на тому, щоб слідчий не вірив показанням В.
В каже, що ані А, ані Б не говорять правди. Визначити, хто з трьох свідків
говорить правду.