Высказывание (логика): различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
→Высказывание и суждение: Исправлена опечатка Метки: с мобильного устройства из мобильной версии |
Fuxx (обсуждение | вклад) м которм=>котором|высказывний=>высказываний |
||
Строка 9:
В современной математической логике ещё не установилось однозначное определение понятия “высказывание”, что позволяют некоторые логики иногда заменяя его термином “суждение”. Здесь высказывание нельзя отождествлять с суждением, которое, также обладает свойством выражать либо истину, либо ложь. Однако, в отличие от высказывания, которое в первом разделе математической логики – [[исчисление высказываний|исчислении высказываний]], рассматривается как нерасчленённое целое, суждение является абсолютным единством [[Субъект (логика)|субъекта]] и [[Объект (философия)|объекта]], которые связаны между собой по смыслу. Помимо истинностного значения суждение несёт в себе некоторое содержание, которое может быть выражено в утверждении или отрицании чего-либо относительно предметов и явлений, их свойств, связей и отношений. Различаются высказывания и суждения также символической записью их формул. Простое высказывание всегда обозначается простым знаком А или В и др. Простое категорическое суждение имеет выражение вида: «S есть (не есть) P».
Различаются и формулы сложных
== Виды высказываний ==
|