Решение логических задач

Важнейшая задача цивилизации-

научить человека мыслить.

Т.Эдисон

Логические задачи очень разнообразны. Способов их решения тоже немало. Но наибольшее распространение получили следующие три способа решения логических задач:

• средствами алгебры логики;

• табличный;

• с помощью рассуждений.

Суть применения методов алгебры логики к решению логических задач состоит в том, что, имея конкретные условия логической задачи, стараются записать их в виде формулы алгебры логики. В дальнейшем путём равносильных преобразований упрощают полученную формулу. Простейший вид формулы, как правило, приводит к ответу на все вопросы задачи.

Решение логических задач средствами алгебры логики

Обычно используется следующая схема решения:

1. Изучается условие задачи.

2. Вводится система обозначений для логических вы­сказываний.

3. Конструируется логическая формула, описывающая логические связи между всеми высказываниями, выделенными из условия задачи.

4. Определяются значения истинности этой логичес­кой формулы.

5. Из полученных значений истинности формулы оп­ределяются значения истинности введенных логи­ческих высказываний, на основании которых делает­ся заключение о решении.