Логические задачи и способы их решения

• Исходными данными в логических задачах являются высказывания.  

• Метод рассуждений предполагает последовательный анализ информации и выводы.  

• Пример: определение домов, где живут скрипач, врач, охотник и другие персонажи.  

• Рыцарь всегда говорит правду, лжец всегда лжет, обычный человек может говорить правду или ложь.  

• Решение сводится к перебору вариантов и исключению противоречий.  

• Пример: определить, кто из двух персонажей рыцарь или лжец.  

• Задачи связаны с рассмотрением конечных множеств.  

• Пример: определить значения переменных в высказывательной форме.  

• Составление таблицы и анализ условий для нахождения истинных значений.  

• Построение таблицы истинности для анализа условий задачи.  

• Пример: анализ прогнозов экономистов и определение подразделений с максимальной прибылью.  

• Метод упрощения логических выражений: выделение элементарных высказываний, запись условий на языке алгебры логики, упрощение выражения и выбор решения.  

• Пример задачи: кто из трех учащихся изучал логику.  

• Обозначение высказываний и анализ условий задачи.  

• Упрощение выражения и выбор решения, удовлетворяющего условиям задачи.