В чем заключается метод решения логических задач через отрицание условий?

Возможно, имелся в виду метод решения логических задач средствами алгебры логики, в рамках которого используется операция отрицания. ivgpu.ru

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

1. Изучается условие задачи. ivgpu.ru
2. Вводится система обозначений для логических высказываний. ivgpu.ru
3. Конструируется логическая формула, описывающая логические связи между всеми высказываниями условия задачи. ivgpu.ru
4. Определяются значения истинности этой логической формулы. ivgpu.ru
5. На основании полученных значений истинности формулы определяются значения истинности введённых логических высказываний, и делается заключение о решении. ivgpu.ru

Отрицанием высказывания называют новое высказывание, которое истинно, когда исходное высказывание ложно, и ложно, когда исходное высказывание истинно. dgunh.ru ivgpu.ru

Например, если высказывание «Денис сделал уроки» обозначить переменной А, то отрицание ¬А будет соответствовать высказыванию «Денис не сделал уроки» или «Неверно, что Денис сделал уроки». school23kovrov.ucoz.ru