Predicate: Proposition whos truth depends on the value of the variable, Prime Numbers: used to Break RSA Encrytions Implication: p => q if p is false or q is true = will be true False Implys Anything is True* (if Pigs could fly I would be king ) Proposition - True or False
Truth Table p|q| p => q | q <=> p| p <==> q| T|T|T| | T | T T|F|F| | T | F F|T|T| | F | F F|F|T| | T |T
- Axioms: Are Propositions we Assume are True ⋅⋅*Must be Consistant and Complete ..*Set of Axioms is consistant if No proposition can be true or false ..*Set of Axioms is complete if you can prove every propistion as eather true or false
Symbols <=> - if any only if must check both ways for it
Famous Conjectors Reamon Hypothisis Goldbacks Conjecter - Regions in map (google it for details)