Her er noen konvensjoner for hvordan man kan skrive logiske symboler med ren tekst.
"<tegn>" - "<betydning>" ":" - "element i" "u" - "union" "n" - "snitt" "->" - "impliserer" "^" - "og" "v" - "eller" "-" - "ikke"
Noen eksempler
3 er et element i mengden {1,2,3}
3 : {1,2,3}
2 ligger i snittet av {1,2} og {2,3}
2 : {1,2} n {2,3}
A og B impliserer A
(A ^ B) -> A
A impliserer (A eller B)
A -> (A v B)
Ikke A eller ikke ikke A.
(-A) v (--A)