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|