how to teach your child number arithmetic mathematics - writing down sets and set logic equations | sums will set you free at abelard.org    
latest changes & additions at abelard.org link to short briefings documents link to document abstracts link to list of useful data tables click for abelard's child education zone economics and money zone at abelard.org - government swindles and how to transfer money on the net latest news headlines at abelard's news and comment zone socialism, sociology, supporting documents described France zone at abelard.org - another France Energy - beyond fossil fuels visit abelard's gallery about abelard and abelard.org

back to abelard's front page

site map

sums will set you free

how to teach your child numbers arithmetic mathematics

writing down sets and set logic equations

New translation, the Magna Carta
how to teach your child number arithmetic mathematics - writing down sets and set logic equations is part of the series of documents about fundamental education at abelard.org. These pages are a sub-set of sums will set you free

truth tables for connectives
connective/operator symbols
working out compound truth values - logic equations
logic and probability

  
examples
tautology
contradiction
contingency
logic and programming computers
end notes
how to teach a person number, arithmetic, mathematics on teaching reading

truth tables for connectives

NOT

state ~ state (¬)   state   ~ state (¬)
True [T] False [F] 1 0
False [F] True [T] 0 1

AND

AND truth tables (&   •   cap symbol)
state state and state   state state and state
True [T] True [T] True [T]   1 1 1
True [T] False [F] False [F]   1 0 0
False [F] True [T] False [F]   0 1 0
False [F] False [F] False [F]   0 0 0

OR (inclusive OR)

  OR (inclusive OR) truth tables (v   union symbol )
state state or state   state state or state
True [T] True [T] True [T]   1 1 1
True [T] False [F] True [T]   1 0 1
False [F] True [T] True [T]   0 1 1
False [F] False [F] False [F]   0 0 0

XOR (EXCLUSIVE OR)

XOR (exclusive OR) truth tables
state state XOR state   state state XOR state
True [T] True [T] False [F]   1 1 0
True [T] False [F] True [T]   1 0 1
False [F] True [T] True [T]   0 1 1
False [F] False [F] False [F]   0 0 0

implication

implies symbol truth table [implies]
a b a implies symbol b
True [T] True [T] True [T]
True [T] False [F] False [F]
False [F] True [T] True [T]
False [F] False [F] True [T]

equivalence

equivalent symbol truth table [equivalence]
a b a equivalent symbol b
True [T] True [T] True [T]
True [T] False [F] False [F]
False [F] True [T] False [F]
False [F] False [F] True [T]