Повествовательные предложения
- на естественном языке ;
-истинные;
-ложные.
- на математическом языке.
Высказывание – это предложение, относительно которого имеет смысл вопрос: истинно оно или ложно.
Обознач.: A , В, С, …
Высказывательная форма – это предложение с переменной, которое обращается в высказывание при подстановке в него значений переменной.
Логические связки – это слова «и», «или», «если…, то…», «тогда и только тогда, когда…», «не», «неверно, что…».
- элементарные;
- составные.
Определение значения истинности составного высказывания:
- определить смысл логических связок в составном предложении;
- определить логическую структуру высказывания:
а) из каких элементарных предложений образовано данное составное предложение?
б) с помощью каких логических связок оно образовано?
Пример:
Определить логическую структуру высказывания:
«Если углы вертикальные, то они равны».
А: «углы вертикальные»
В: «углы равны»
Лог. связка: «если…, то…»
Лог структура: если А, то В.
Какова логическая структура следующих предложений:
- В треугольнике АВС биссектриса ВД является медианой и высотой;
- Х 7 или Х 15 ;
- Если запись числа оканчивается цифрой 0, то число делится на 5;
- Треугольник является равносторонним тогда и только тогда, когда все его углы равны;
- Треугольник АВС не является равносторонним.