Высказывания и операции над высказываниями
Высказывание – это повествовательное предложение (утверждение), о котором можно говорить, что оно истинно или ложно.
Высказывания обозначают большими или маленькими латинскими буквами.
Пример 1. А: «Москва – столица России» – истинное высказывание. b = «Волга впадает в Черное море» – ложное высказывание.
Значения истинности высказываний обозначаются буквами И – «истина» и Л – «ложь» или цифрами 1 – «истина» и 0 – «ложь». Т.е. А = 1(И), b = 0(Л).
Не всякое предложение является высказыванием. Так, к высказываниям не относятся вопросительные, и восклицательные предложения, поскольку говорить об их истинности или ложности нет смысла. Не являются высказываниями и такие предложения: «Каша – вкусное блюдо», «Математика – интересный предмет». Нет, и не может быть единого мнения о том, истинны эти предложения или ложны. Предложение «Существуют инопланетные цивилизации» следует считать высказыванием, так как объективно оно либо истинное, либо ложное, хотя пока никто не знает, какое именно.
|
|
Предложения «Шел снег», «Площадь комнаты равна 20 м2», «а2 = 4» не являются высказываниями; для того, чтобы имело смысл говорить об их истинности или ложности, нужны дополнительные сведения: когда шел снег, о какой конкретно комнате идет речь, какое число обозначено буквой а. В последнем примере а может не обозначать конкретного числа, а быть переменной, т.е. буквой, вместо которой можно подставлять элементы некоторого множества, называемые значениями переменной. Пусть, например, {-2; 0; 2; 3; 4} – множество значений переменной а. Каждому значению переменной соответствует либо истинное, либо ложное высказывание. Например: высказывания «(-2)2 = 4» и «22 = 4» истинны, а высказывания «02 = 4», «32 = 4» и «42 = 4» ложны.
Рассмотрим предложения: «Он рыжеволос» и «Число делится на 7». Эти предложения не содержат переменных в явном виде, но, тем не менее, являются высказывательными формами: первое из них становится высказыванием (истинным или ложным) только после замены местоимения «он» именем конкретного человека из некоторого множества людей мужского пола; второе становится высказыванием, если вместо слова «число» подставлять целые числа. Иначе эти предложения можно записать так: «Человек х рыжеволос», «Число у делится на 7».
Из высказывательных форм можно получать высказывания также с помощью специальных слов, так называемых кванторов. Их два: 1) квантор всеобщности – (любой, всякий, каждый); 2) квантор существования – (существует, найдется, имеется, некоторый, по меньшей мере, один). Например, из высказывательной формы «Площадь комнаты 20 м2» можно с помощью кванторов получить высказывания: «Площадь любой комнаты 20 м2» – ложное, «Существует комната, площадь которой 20 м2» – истинное.
|
|
Из двух данных предложений можно образовывать новые предложения с помощью союзов «и», «или», «либо», «если…, то…», «…тогда и только тогда, когда…» и других. С помощью частицы «не» и словосочетания «неверно, что…» из одного предложения можно получить новое. Наиболее употребительными являются союзы «и», «или», «если…, то…» и «…тогда и только тогда, когда». Остальные союзы считают близкими по смыслу одному из перечисленных союзов.
Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками.
Предложения, образованные из других предложений с помощью логических связок, называют составными или сложными. Предложения, которые не содержат логических связок, называют элементарными или простыми.
Пример 2. Из предложений «Солнце всходит на востоке» и «Солнце заходит на западе» можно получить следующие составные высказывания: «Солнце всходит на востоке и заходит на западе»; «Солнце всходит на востоке или заходит на западе»; «Если солнце всходит на востоке, то оно заходит на западе»; «Солнце всходит на востоке тогда и только тогда, когда оно заходит на западе»; «Солнце не всходит на востоке» или «Неверно, что солнце заходит на западе».
В грамматике различают предложения простые и сложные. Предложение, простое по своей грамматической структуре, может быть составным с точки зрения логики. Например, простое с точки зрения грамматики предложение «На улице холодно и сыро» считается в логике сложным, так как образовано с помощью логической связки «и» из двух элементарных предложений «На улице холодно» и «На улице сыро». Простое предложение «Завтра не будет осадков» по своей логической структуре не является элементарным, так как содержит логическую связку «не».
Возникает вопрос: как определить значение истинности сложного высказывания?
В математической логике смысл логических связок уточняется так, чтобы вопрос об истинности или ложности составных предложений, образованных из высказываний во всех случаях решался однозначно. Таким уточнением займемся ниже.