Формализация суждения - интерпретация обычного высказывания на строгий логический язык. Тобиш мы убираем лишние слова и оставляем мысль виде логической формулы.
На картинке показана база, я ещё добавлю.
|Символ|Название|Понятие|Пример|.
—————————————————
• | ◇ | возможно | может быть истинно |
| ◇(Идёт дождь) |
• | ⊕ | uсключающее | либо |
| либо R либо Q, но не оба одновременно |
• | ⊢ | выводимость | можно доказать |
| P(Я учусь) ⊢ Q(Я сдам экзамен) |
• | ⊨ | логическое следствие |
| логически следует | T ∧ R ⊨ Q |
• | □ | необходимо | обязательно истинно |
| □(6+6=12) |
P.S: «Квантор существования» ∧ «Единственость», принятая запись: ∃x ∧ ∃!. В бытовой логике ⊢ = ⊨, то что можно доказать, логически следует. Нежели, как в исключительных на примере: интуиционистской логики, мадальной, парадоксальной, я в них ещё ребёнок поэтому х*у знает, каков там хаус.. Эта «строгая логическая запись», была создана в 19век. До этого люди базировались на силлогистике Аристотеля.
8
2March 9, 2026 823 1 7
