ТЕМА 8. ВЫСКАЗЫВАНИЯ И ВЫСКАЗЫВАТЕЛЬНЫЕ ФОРМЫ

Содержание

1. Высказывания и высказывательные формы.

2. Конъюнкция и дизъюнкция высказываний.

3. Конъюнкция и дизъюнкция высказывательных форм.

Основная литература [7, 9, 10, 11, 16, 30, 31, 32, 33, 34];

Дополнительная литература [17, 18, 30, 39, 52, 63, 66, 78, 86]

Введение. Изучая реальные процессы, математика описывает их, используя как естественный словесный язык, так и свой символический. Описание строится при помощи предложений. Но чтобы математические знания были достоверными, правильно отражали окружающую нас реальность, эти предложения должны быть истинными.

Но как узнать, истинное или ложное знание заключено в том или ином математическом предложении? На этот и другие вопросы, с ним связанные, отвечает раздел «математические предложения». А сейчас только заметим, что каждое математическое предложение характеризуется содержанием и логической формулой (структурой), причем содержание неразрывно связано с формой, и нельзя осмыслить первое, не понимая второго. В связи с этим изучение математических предложений будет в основном связано с раскрытием логической структуры математических предложений.

1. Высказывания и высказывательные формы

Относительно понятий и отношений между ними можно высказывать различные суждения. Языковой формой суждений являются повествовательные предложения. Например, в начальном курсе математики можно встретить такие предложения:

1) число 10-четное;

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 не является высказыванием, так как о нем нельзя сказать: истинно оно или ложно. Однако при подстановке конкретных значений переменной х оно обращается в высказывание: истинное или ложное. Например, если х=2, то 2+5=8- ложное высказывание, а при х=3 оно обращается в истинное высказывание 3+5=8. Предложение х+5=8 называется высказывательной формой. Оно порождает множество высказываний одной и той же формы.

По числу переменных, входящих в высказывательную форму, различают одноместные, двухместные и т.д. высказывательные формы и обозначают: А(х), А(х,у) и т.д. Например, х+5=8 – одноместная высказывательная форма, а предложение «Прямая х параллельна прямой у» – двухместная.

Следует иметь в виду, что в высказывательной форме переменные могут содержаться неявно. Например, в предложениях: «число четное», «две прямые пересекаются» переменных нет, но они подразумеваются: «Число х – четное», «Две прямые х и у пересекаются».

Задание высказывательной формы, как правило, предполагает и задание того множества, из которого выбираются значения переменной (переменных), входящей в высказывательную форму. Это множество называется областью определения высказывательной формы. Например, неравенство х > 5 можно рассматривать на множестве натуральных чисел, а можно считать, что значение переменной х выбирается из множества действительных чисел. Тогда в первом случае областью определения неравенства х > 5 будет множество натуральных чисел, а во втором – множество действительных чисел.

Дадим определение одноместной высказывательной формы (понятие высказывательной формы, содержащей две и более переменных, определяется аналогично).

Определение. Одноместной высказывательной формой, заданной на множестве Х, называется предложение с переменной, которое обращается в высказывание при подстановке в него значений переменной из множества Х.

Среди всех возможных значений переменной нас в первую очередь интересуют те, которые обращают высказывательную форму в истинное высказывание. Множество таких значений переменных называют множеством истинности высказывательной формы.

Например, множество истинности высказывательной формы х>5, заданной на множестве действительных чисел, будет промежуток (5;¥). Множество истинности высказывательной формы х+5=8, заданной на множестве целых неотрицательных чисел, состоит из одного числа 3.

Условимся обозначать множество истинности высказывательной формы буквой Т. Тогда, согласно, определению всегда Т Ì Х.

Предложения (высказывания и высказывательные формы), которые мы рассматривали, были простыми, но можно привести примеры суждений, языковой формой которых будут сложные предложения. Например: «Если треугольник равнобедренный, то углы при основании в нем равны». Естественно возникает вопрос: как определить значение истинности таких высказываний и находить множество истинности таких высказывательных форм?

Чтобы ответить на эти вопросы, необходимо познакомится с некоторыми логическими понятиями.

В логике считают, что из двух данных предложений можно образовать новые предложения, используя для этого союзы «и», «или», «если…, то…», «тогда и только тогда, когда» и др. С помощью частицы «не» или словосочетания «неверно, что» можно из данного предложения получить новое.

Слова «и», «или», «если …, то…», «тогда и только тогда, когда», а также частицу «не» (слова «неверно, что») называются логическими связками. Предложения, образованные из других предложений с помощью логических связок, называют составными. Предложения, не являющиеся составными, называют элементарными.

Приведем примеры составных предложений:

1) Число 28 четное и делится на 7.

Это предложение образованно из двух элементарных: «число 28 четное», «число 28 делится на 7» с помощью логической связки «и».

2) Число х меньше или равно 8.

Это предложение образовано из двух элементарных: «число х меньше 8», «число х равно 8» с помощью логической связки «или».

3) число 14 не делится на 4.

Это составное высказывание образовано из предложения «число 14 делится на 4» с помощью частицы «не».

Обратим внимание на то, что все три предложения, являясь с логической точки зрения составными, по своей грамматической структуре – простые. Не всегда, но так бывает: простое предложение по своей логической структуре может быть составным.

А как определять значение истинности составного высказывания? Например, истинно или ложно высказывание: «число 28 делится на 7 и на 9»? Элементарное высказывание «число 28 делится на 7», входящее в составное, истинное – это известно из начального курса математики. Второе элементарное высказывание «число 28 делится на 9» – ложное (и это нам известно). А каким будет в этом случае значение истинности составного высказывания, образованного из этих высказываний с помощью союза «и»? Ответить на этот вопрос можно, если знать смысл этого союза. Но так как составные высказывания образуются с помощью и других логических связок, то возникает необходимость в уточнении их смысла.

Кроме того, уточнение смысла используемых в математике связок обусловлено их неоднозначным толкованием в обычной речи, что может привести к неоднозначному ответу при нахождении значения истинности составных высказываний.

Итак, значение истинности элементарного высказывания определяют, исходя из его содержания с опорой на известные знания. Чтобы определить значение истинности составного высказывания, надо знать смысл логических связок, с помощью которых оно образовано из элементарных, и уметь выявлять логическую структуру высказывания.

Для выявления логической структуры составного предложения нужно установить:

1) из каких элементарных предложений образованно данное составное предложение;

2) с помощью каких логических связок оно образовано.

Выявим, например, логическую структуру предложения «Если углы вертикальные, то они равны». Оно состоит из двух элементарных предложений: предложения А – «углы вертикальные» и предложения В - «углы равны». Соединены они в одно составное предложение с помощью логической связки «если …, то…». Говорят, что данное составное предложение имеет логическую структуру (форму): «если А, то В».

<27 28 293031 32 33 >

Дата добавления: 2021-01-26; просмотров: 454;