Symbolic Logic Notation

 

Elements are propositions, which can be either true or false.

 

Logical operators

 

AB         alternation, or disjunction       “A or B”,  “inclusive or”

AB         conjunction                              “A and B”

~A              denial, or negation                   “not A”

 

A®B     conditional, or                         “if A…

AÉB       implication                              then B”

 

AºB         equivalence                             “A if and only if B”

A«B                         

 

A≢B    Inequivalence                          “A not equal to B”, “exclusive or

 

 

Truth table

 

A

B

AB

AB

~A

A®B

A«B

T

T

T

T

T

T

T

T

F

F

T

F

F

F

F

T

F

T

T

T

F

F

F

F

F

T

T

T