Высказывания и высказывания форма
Обновлено: 22.12.2024
Изучая реальные процессы, математика описывает их, используя как естественный словесный язык, так и свой символический. Описание строится при помощи предложений. Но чтобы математические знания правильно отражали окружающую нас реальность, эти предложения должны быть истинными.
Каждое математическое предложение характеризуется содержанием и логической формой (структурой), причем содержание неразрывно связано с формой, и нельзя осмыслить первое, не понимая второго.
- Высказывания и высказывательные формы
Относительно понятий и отношений между ними можно высказывать различные суждения. Языковой формой суждений являются повествовательные предложения. Например, в начальном курсе математики можно встретить такие предложения:
1) число 12 – четное;
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 называется высказывательной формой. Оно порождает множество высказываний одной и той же формы.
По числу переменных, входящих в высказывательную форму, различают одноместные, двухместные и т.д. высказывательные формы и обозначают: А(х), А(х, у) и т.д. Например, предложение «Прямая х параллельна прямой у» - двухместная.
Определение. Одноместной высказывательной формой, заданной на множестве Х, называется предложение с переменной, которое обращается в высказывание при подстановке в него значений переменной из множества Х.
Множество Х – множество, из которого выбираются значения переменной.
Предложения, которые мы рассматривали, были простыми, но можно привести примеры суждений, языковой формой которых будут сложные предложения. Например: «Если треугольник равнобедренный, то углы при основании в нем равны». Естественно возникает вопрос: как определить значение истинности таких высказываний и находить множество истинности таких высказывательных форм?
Чтобы ответить на эти вопросы, необходимо познакомиться с некоторыми логическими понятиями.
В логике считают, что из двух данных предложений можно образовать новые предложения, используя для этого союзы «и», «или», «если… , то», «тогда и только тогда, когда», а также частица «не» или словосочетание «неверно, что». Слова «и», «или», «если…, то», «тогда и только тогда, когда», а также частица «не» называют логическими связками. Предложения, образованные из других предложений с помощью логических связок, называют составными. Предложения, не являющиеся составными, называют элементарными.
Приведем примеры составных предложений.
1) Число 28 четное и делится на 7.
2) Число х меньше или равно 8.
3) Число 14 не делится на 4.
Эти предложения, являясь с логической точки зрения составными, по своей грамматической структуре – простые.
Как определить значение истинности составного высказывания, например, «число 28 делится на 7 и на 9»? Значение истинности высказываний определяется с помощью определенных правил. Но для этого нужно уметь выявлять логическую структуру высказывания.
Для этого нужно установить:
1) из каких элементарных предложений образовано данное составное предложение;
2) с помощью каких логических связок оно образовано.
- Конъюнкция и дизъюнкция высказываний
Определение конъюнкции можно записать с помощью таблицы, называемой таблицей истинности.
Используя данное определение, найдем значение истинности высказывания «число 28 делится на 7 и на 9», которое, как было установлено раньше, состоит из двух элементарных высказываний, соединенных союзом «и», т.е. является конъюнкцией.. Так как первое высказывание истинно, а второе ложно, то, согласно определению конъюнкции, высказывание «число 28 делится на 7 и на 9» будет ложным.
Используя данное определение, найдем значение истинности высказывания «число 28 делится на 7 или на 9». Так как это предложение является дизъюнкцией двух высказываний, одно из которых истинно, то, согласно определению дизъюнкции, высказывание «число 28 делится на 7 и на 9» будет истинным.
В математике союз «или» используется как неразделительный.
Образование составного высказывания с помощью логической связки называется логической операцией.
Определения конъюнкции и дизъюнкции можно обобщить на t составляющих их высказываний.
- Конъюнкция и дизъюнкция высказывательных форм
В математике рассматривают не только конъюнкцию и дизъюнкцию высказываний, но и выполняют соответствующие операции над высказывательными формами.
Докажем это равенство.
Из 1 и 2 в силу определения равных множеств вытекает справедливость равенства
Заметим, что полученное правило справедливо и для высказывательных форм, содержащих более одной переменной.
Заметим, что дизъюнкцию уравнений (неравенств) называют также совокупностью.
Рассматривая конъюнкцию и дизъюнкцию высказывательных форм, мы установили их тесную связь с пересечением и объединением множеств.
- Решение задач на распознавание объектов
С введением понятия конъюнкции и дизъюнкции высказывательных форм появились условия для рассмотрения вопросов, связанных с решением определенного вида задач, так называемых задач на распознавание объектов.
В задачах на распознавание объектов требуется ответить на вопрос: принадлежит тот или иной объект объему данного понятия или не принадлежит.
Пример 1. «Установите, какие из фигур являются квадратами, а какие нет».
Решают такие задачи, используя определение соответствующего понятия. При этом важно понимать, что если понятие а определено через родовое понятие с и видовое отличие Р, то его объем А можно представить в таком виде: А = Эта запись показывает, что характеристическое свойство элементов, принадлежащих объему понятия а, представляет собой конъюнкцию двух свойств:
Пример 2. «Выяснить, в каком случае луч ВD является биссектрисой угла АВС».
Воспользуемся таким определением биссектрисы угла: «Биссектрисой угла называется луч, выходящий из вершины угла и делящий этот угол пополам». Из него следует, что для того, чтобы луч был биссектрисой угла, он должен обладать двумя свойствами: «выходить из вершины угла» и «делить этот угол пополам».
Луч ВD на рисунке а) не является биссектрисой угла АВС, поскольку он не делит данный угол пополам. Луч ВD на рисунке б) является биссектрисой угла АВС, поскольку он делит данный угол пополам и выходит из вершины угла.
Читайте также: