<<Up Contents
Np negation ~ p Kpq conjunction p · q Apq disjunction p Ú q Cpq material implication p É q Epq material equivalence p º q PxFx universal quantifier (x)Fx SxGx existential quantifier ($x)Gx
wikipedia.org dumped 2003-03-17 with terodump