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

* <math>\land</math>, <math>\And</math> — союз ''и'' ([[конъюнкция]]);
* <math>\vee</math> — союз ''или'', когда он выступает в соединительно-разделительном значении ([[дизъюнкция]]);
* <math>\dot\vee</math>, <math>\vee\vee</math> — союз ''или'', когда он выступает в строго-разделительном исключающем значении ([[сложение_по_модулю_2|строгая дизъюнкция]]);
* <math>\rightarrow</math>, <math>\supset</math> — союз ''если…, то'' ([[импликация]]);
* <math>\neg</math> — слова ''не'', ''неверно'' ([[отрицание]]).