Высказывание (логика): различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Ang15 (обсуждение | вклад) |
Ang15 (обсуждение | вклад) Нет описания правки |
||
Строка 24:
* <math>\rightarrow</math>, <math>\supset</math> — союз ''если..., то'' ([[импликация]]);
* <math>\neg</math> — слова ''не'', ''неверно'' ([[отрицание]]).
Логические союзы являются частью языка [[Логика высказываний|логики высказываний]], кванторы были дополнительно введены в язык [[Логика предикатов|логики предикатов]], который является расширением языка логики высказываний{{sfn|Бродский|1972|c=56}}.
== Логическое подлежащее и логическое сказуемое ==
| |||