| Þ - знак логического следования | aÞb | означает «из предложения a следует предложение b» |
| Û - знак равносильности (тогда и только тогда, когда) | aÛb | означает «предложение a равносильно предложению b», то есть «из a следует b и из b следует a» или «a выполняется тогда и только тогда, когда выполняется b» |
| "- квантор[1] всеобщности ("[2]) | "х | означает «для любого х», или «для всякого х» |
| $ - квантор существования ($[3]) | $х | означает «существует х», или «найдётся х» |
| ! – знак единственности | "х$!у | означает «для любого х существует и притом единственный у» |
| : – «имеет место», «такое что» | "х$!у: х+у=0 | означает «для любого х существует и притом единственный у такой, что х+у=0» |
| | – «имеет место», «такое что» | "х$!у | х+у=0 | означает «для любого х существует и притом единственный у такой, что х+у=0» |
| Î(Ï) – знак принадлежности (не принадлежности) | хÎХ (уÏY) | означает «элемент х принадлежит множеству Х», или «элемент у не принадлежит множеству Y» |