Logic Symbols
Logic symbols from Deductive Logic by Terry Halpin
- ⊃ hook
- implies if ... then
- p ⊃ q is false iff p is true and q is false
-
p q p ⊃ q 1 1 1 1 0 0 0 1 1 0 0 1 - & ampersand
- p & is true iff both p and q are true
-
p q p & q 1 1 1 1 0 0 0 1 0 0 0 0 - ∨ wedge
- p ∨ is true iff at least one of p, q are true
-
p q p ∨ q 1 1 1 1 0 1 0 1 1 0 0 0 - ≡ tribar
- p ≡ is true iff p and q have the same truth values
-
p q p ≡ q 1 1 1 1 0 0 0 1 0 0 0 1 - !≡ slashed tribar*
- p !≡ is true iff p and q have opposite truth values
-
p q p !≡ q 1 1 0 1 0 1 0 1 1 0 0 0 - *no html entity equivalent
- ~ tilda
- not p
-
p ~p 1 0 0 1 - Converse
- The converse of the conditional is found by swapping the antecedent and the consequent
-
Original: If John has ten dollars then John has some money.
Converse: If John has some money then John has ten dollars. - Contradictory
- p is contradictory to q iff p has the opposite truth value to q in all possible worlds
-
p q p & q ~p ∨ ~ q 1 1 1 0 1 0 0 1 0 1 0 1 0 0 0 1
Content found within Wikipedia and the out of print book Deductive Logic by Terry Halpin