Высказывание (логика): различия между версиями
| [отпатрулированная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
м →Литература: исключение устаревших шаблонов, оформление |
Нет описания правки |
||
Строка 1:
{{Другие значения|Высказывание}}
'''Выска́зывание''' — в математической логике предложение, выражающее [[суждение]]. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний{{sfn|Чупахин, Бродский|1977|с=200—203}}.
Высказывание должно быть повествовательным предложением. Высказывания обычно противопоставляются повелительным, вопросительным и любым другим предложениям, оценка истинности или ложности которых невозможна{{sfn|БСЭ|1969—1978|loc=статья «Высказывание»}}.
| |||