Deduce from p p that q q is true. Q in a direct proof, rst assume p is true. Web the most basic approach is the direct proof: Assume p p is true. Web ab = (2k+1)(2m+1) = 4km+2k+2m+1 = 2(2km+k+m)+1. Ithen use rules of inference, axioms, previously shown. The important thing to remember. Web a proof of a proposition p is a chain of logical deductions ending in p and starting from some set of axioms. A b = ( 2 k + 1) ( 2 m + 1) = 4 k m + 2 k + 2 m + 1 = 2 ( 2 k m + k + m) +. Web 1 direct proof ito prove p !
Q in a direct proof, rst assume p is true. Q in a direct proof, rst assume p is true. The important thing to remember. Web the most basic approach is the direct proof: Ithen use rules of inference, axioms, previously shown. A b = ( 2 k + 1) ( 2 m + 1) = 4 k m + 2 k + 2 m + 1 = 2 ( 2 k m + k + m) +. Web 1 direct proof ito prove p ! Deduce from p p that q q is true. Assume p p is true. Web a proof of a proposition p is a chain of logical deductions ending in p and starting from some set of axioms. Web ab = (2k+1)(2m+1) = 4km+2k+2m+1 = 2(2km+k+m)+1.
