Nyttig notasjon

Her følger litt notasjon som kan være nyttig.

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)

 

 


            
Publisert 12. sep. 2011 11:12