Относительно понятий и отношений между ними можно высказывать различные суждения. Языковой формой суждений являются повествовательные предложения. Например, в начальном курсе математики можно встретить такие предложения:
1) число 12 – четное;
2) 2 + 5 > 8;
3) х + 5 = 8;
4) В числе 15 один десяток и 5 единиц;
5) От перестановки множителей произведение не изменяется;
6) Некоторые числа делятся на 3.
Видим, что предложения, используя в математике, могут быть записаны как на естественном (русском) языке, так и на математическом, с использованием символов. Далее, о предложениях 1, 4, 5 и 6 можно сказать, что они несут верную информацию, а предложение 2 – ложную. Относительно предложения х + 5 = 8 вообще нельзя сказать: истинное оно или ложное. Взгляд на предложение с позиции – истину или ложь оно нам сообщает – привел к понятиювысказывания.
Определение. Высказыванием в математике называют предложение, относительно которого имеет смысл вопрос: истинно оно или ложно.
Например, предложения 1, 2, 4, 5 и 6 – высказывания, причем предложения 1, 4, 5 и 6 – истинные, а 2 – ложное.
Высказывания принято обозначать прописными буквами латинского алфавита: А, В, С, …, Z. Если высказывание А истинно, то записывают: А – «и», если же высказывание А – ложно, то пишут: А – «л».
«Истина» и «ложь» называются значениями истинности высказывания. Каждое высказывание либо истинно, либо ложно, быть одновременно тем и другим оно не может.
Предложение х + 5 = 8 не является высказыванием, так как о нем нельзя сказать: истинно оно или ложно. Однако при подстановке конкретных значений переменной х оно обращается в высказывание: истинное или ложное. Предложение х + 5 = 8 называется высказывательной формой. Оно порождает множество высказываний одной и той же формы.
По числу переменных, входящих в высказывательную форму, различают одноместные, двухместные и т.д. высказывательные формы и обозначают: А(х), А(х, у) и т.д. Например, предложение «Прямая х параллельна прямой у» - двухместная.
Определение. Одноместной высказывательной формой, заданной на множестве Х, называется предложение с переменной, которое обращается в высказывание при подстановке в него значений переменной из множества Х.
Множество Х – множество, из которого выбираются значения переменной.
Среди всех возможных значений переменной нас в первую очередь интересуют те, которые обращают высказывательную форму в истинное высказывание. Множество таких значений переменных называют множеством истинности высказывательной формы. Например, множеством истинности высказывательной формы х > 5, заданной на множестве действительных чисел, будет промежуток (5; ∞). Множество истинности высказывательной формы х + 5 = 8, заданной на множестве целых неотрицательных чисел, состоит из одного числа 3.
Условимся обозначать множество истинности высказывательной формы буквой Т. Тогда, согласно определению, всегда Т⊂Х.
Предложения, которые мы рассматривали, были простыми, но можно привести примеры суждений, языковой формой которых будут сложные предложения. Например: «Если треугольник равнобедренный, то углы при основании в нем равны». Естественно возникает вопрос: как определить значение истинности таких высказываний и находить множество истинности таких высказывательных форм?
Чтобы ответить на эти вопросы, необходимо познакомиться с некоторыми логическими понятиями.
В логике считают, что из двух данных предложений можно образовать новые предложения, используя для этого союзы «и», «или», «если… , то», «тогда и только тогда, когда», а также частица «не» или словосочетание «неверно, что».Слова «и», «или», «если…, то», «тогда и только тогда, когда», а также частица «не» называют логическими связками. Предложения, образованные из других предложений с помощью логических связок, называютсоставными. Предложения, не являющиеся составными, называют элементарными.
Приведем примеры составных предложений.
1) Число 28 четное и делится на 7.
2) Число х меньше или равно 8.
3) Число 14 не делится на 4.
Эти предложения, являясь с логической точки зрения составными, по своей грамматической структуре – простые.
Как определить значение истинности составного высказывания, например, «число 28 делится на 7 и на 9»? Значение истинности высказываний определяется с помощью определенных правил. Но для этого нужно уметь выявлять логическую структуру высказывания.
Для этого нужно установить:
1) из каких элементарных предложений образовано данное составное предложение;
2) с помощью каких логических связок оно образовано.