| Кванторы |
|
"
|
общности |
|
$
|
существования |
|
$!
|
единственности существования |
| Связки |
| ¬, ~ |
отрицание (неверно, что…)
|
| &, Λ |
конъюнкция (и) |
| v |
нестрогая (слабая) дизъюнкция (или) |
| v |
строгая дизъюнкция (или… или…) |
| → |
импликация (если… то…) |
| ≡ |
эквиваленция (тождество) (тогда и только тогда, когда…) |
|
