1.3 Математические предложения.

Высказывания и высказывательные формы. Смысл слов «и», «или», «не» в составных высказываниях. Правила нахождения множеств истинности составных высказывательных форм.

Структура высказываний, содержащих кванторы; способы установления значения истинности высказываний.

Правила построения отрицания высказываний различной структуры.

Отношение логического следования и равносильности между высказывательными формами. Необходимые и достаточные условия. Структура теоремы. Виды теорем, связанных с данной.

Определение математического понятия, виды определений. Структура определения через род и видовое отличие. Основные требования к таким определениям. Использование определении при решении задач на распознавание. Остенсивные и контекстуальные определения.