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

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