Дискретная математика

Высказывания, логические связки

• Часть 1
• | 2
• | 3

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

Высказывания чаще всего обозначают маленькими латинскими буквами a, b, c, х1, х2, …

В логике высказываний интересуются не содержанием, а истинностью или ложностью высказываний. Истинностные значения – истина и ложь – будем обозначать И и Л соответственно. Множество {И, Л} называется множеством истинностных значений.

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

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

Таблица 3

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

№ набора	a
0	0	1
1	1	0

Определение. Отрицанием высказывания является новое высказывание, истинное только тогда, когда исходное высказывание ложно (табл. 3).

Отрицание обозначается через  и читается как «не а», «неверно, что а».

Пример 15.

А – «Степан любит танцевать».

Таблица 4

Тогда  - «Не верно, что Степан любит танцевать».

№ набора	a	b	aЩb
0	0	0	0
1	0	1	0
2	1	0	0
3	1	1	1

Определение. Конъюнкцией двух высказываний является новое высказывание, которое истинно только тогда, когда оба исходных высказывания истинны (табл. 4).

предыдущая темаследующая