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

• Алгоритм решения логических задач:

  • изучить условие задачи;
  • выделить в тексте простые высказывания латинскими буквами;
  • записать условие задачи на языке алгебры логики;
  • составить конечную формулу, объединив все высказывания логическим умножением;
  • упростить формулу (при необходимости) и составить таблицу истинности;
  • найти по получившейся таблице истинности значения, равные 1;
  • сделать вывод.

 

Пример. Определить, кто взял рюкзак Елизаветы, зная, что:

1. Неверно, что если рюкзак брал Василий, то и Сергей брал рюкзак.
2. Если рюкзак взял Артём, то Василий не брал.

Решение: Пусть А = Артём взял рюкзак, В = Василий взял рюкзак, С = Сергей взял рюкзак.

Условие задачи: ($\stackrel{\mathrm{-}}{\text{B}\text{→}\text{С}}$) ∧ (А → $\stackrel{\mathrm{-}}{\text{B}}$).