Пример 3. Высказывание простое (элементарное), если оно рассматривается как некое неделимое целое (аналогично элементу множества)

Пример 2.

Логические связки

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

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

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

Основные логические связки (операции)логики высказываний:

Конъюнкцией (операцией «И») двух высказываний Р и Q называется высказывание, истинное, когда оба высказывания истинны, и ложное - во всех других случаях. Обозначение: Р&Q, Р^Q, Р*Q.

Для укола необходимы шприц и лекарство. Высказывание состоит из двух простых: А – «для укола необходим шприц», В – «для укола необходимо лекарство». Высказывания А и В соединены связкой «и» следовательно выражение истинно только при одновременной истинности двух высказываний A^B.

Дизъюнкцией (операцией «ИЛИ») двух высказываний Р и Q называется высказывание, ложное в случае, когда оба высказывания ложны, и истинное - во всех других случаях. Обозначение: PvQ, Р+Q.

У человека технический склад ума или гуманитарный. Высказывание состоит из двух простых: А – «у человека технический склад ума», В – «у человека гуманитарный склад ума». Высказывания А и В соединены связкой «или» следовательно выражение принимает вид AvB.

Отрицанием (инверсией) высказывания Р называется высказывание, истинное, когда высказывание Р ложно, и ложное - в противном случае. Обозначение:.

Импликацией (логическим, следованием) двух высказываний Р и Q называется высказывание, ложное, когда Р истинно, a Q ложно; во всех других случаях - истинное. Обозначение: P→Q (если Р то Q). При этом высказывание Р называется посылкой импликации, а высказывание Q- заключением.

С понятием импликация возникают некие вопросы. Рассмотрим их на примере.

Дата добавления: 2014-01-05