Высказывание (логика): различия между версиями

'''Выска́зывание''' — в [[Математическая логика|математической логике]] — предложение, выражающее [[суждение]]. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, ''[[Значение|значениями]]'' высказываний{{sfn|Чупахин, Бродский|1977|с=200—203}}.

[[Высказывание (лингвистика)|Высказывание]] должно быть [[Предложение (лингвистика)#Типы предложений|повествовательным предложением.]], Высказывания обычнои противопоставляются повелительным, вопросительным и любым другим предложениям, оценка истинности или ложности которых невозможна.{{sfn|БСЭ|1971}}.