Простые и сложные высказывания

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

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

Понятие высказывания — одно из исходных, ключевых понятий логики.

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

Высказывание считается истинным, если даваемое им описание соответствует реальной ситуации, и ложным — если не соответствует ей. «Истина » и «ложь» называются «истинностными значениями высказываний».

Из отдельных высказываний разными способами можно строить новые высказывания.

Например, из высказывания «Дует ветер» и «Идет дождь» можно образовать более сложные высказывания «Дует ветер, и идет дождь», «Либо дует ветер, либо идет дождь», «Если идет дождь, то дует ветер» и т. п.

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

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

Рассмотрим наиболее важные способы построения сложных высказываний.

Отрицательное высказывание состоит из исходного высказывания и отрицания, выражаемого обычно словами «не», «неверно, что». Отрицательное высказывание является, таким образом, сложным высказыванием: оно включает в качестве своей части отличное от него высказывание. Например, отрицанием высказывания «10 — четное число» является высказывание «10 не есть четное число» (или: «Неверно, что 10 есть четное число»).

Обозначим высказывания буквами А, В, С,… Полный смысл понятия отрицания высказывания задается условием: если высказывание А истинно, его отрицание ложно, и если А ложно, его отрицание истинно. Например, так как высказывание «1 есть целое положительное число» истинно, его отрицание «1 не является целым положительным числом» ложно, а так как «1 есть простое число» ложно, его отрицание «1 не есть простое число» истинно.