Логика высказываний Выполнила : ученица 10 класса МОУ СОШ1 г.Пугачева Руководитель : Калугина О.О.

Моя цель - собрать материал по теме и преподнести его как инструмент для решения ряда интересных задач и доказательства теорем.

Высказывания. Высказывание грамматически правильное предложение, взятое вместе с выражаемым им смыслом (содержанием) и являющееся истинным или ложным. Высказывания бывают простые и сложные Высказывания также делятся на условные, оценочные, описательные и нормативные.

A {число 100 делится на 4}, B {число 17 делится на 8}, C {три меньше пяти}, D {число 2 является единственным корнем уравнения х² - 4 = 0} ВысказываниеABCD Его истинностьИЛИЛ

*Всякое высказывание является либо истинным, либо ложным (закон исключенного третьего). *Никакое высказывание не может быть одновременно истинным и ложным (закон противоречия). *Предложение, о котором невозможно однозначно решить вопрос, истинно оно или ложно, высказыванием не является.

Отрицание Отрицание высказывания А обозначается символом ¬А. Запись ¬А читается как «отрицание высказывания А» или короче «не А». Отрицание высказывания можно получить, сказав: « утверждение А места не имеет» или «А не выполняется». Или для получения отрицания ¬А нужно лишь добавить к сказуемому частицу «не». А {число 23 делится на 7} ¬А { число 23 не делится на 7};