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