Обычно используется следующая схема решения:
- изучается условие задачи;
- вводится система обозначений для логических высказываний;
- конструируется логическая формула, описывающая логические связи между всеми высказываниями условия задачи;
- определяются значения истинности этой логической формулы;
- из полученных значений истинности формулы определяются значения истинности введённых логических высказываний, на основании которых делается заключение о решении.
|