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

553 байта добавлено ,  8 месяцев назад
м (Орфография)
== Высказывание и суждение ==
Одно и то же суждение может быть выражено в разных [[Язык|языках]] и в разных [[Знаковая система (семиотика)|знаковых формах]] в пределах одного языка. Когда суждение рассматривается в связи с какой-то конкретной формой его языкового выражения, оно называется высказыванием. Термин «суждение» употребляют, когда отвлекаются от того, какова именно его знаковая форма{{sfn|Войшвилло, Дегтярёв|2001|с=22}}.
В современной математической логике ещё не установилось однозначное определение понятия “высказывание”, что позволяют некоторые логики иногда заменяя его термином “суждение”. Здесь высказывание нельзя отождествлять с суждением, которое, также обладает свойством выражать либо истину, либо ложь.
 
== Виды высказываний ==