Discrete Math - Introduction to proof

Résumé du document

Note for learning discrete math proofs, introduction to mathematical proofs. Proof templates and advise to find mathematical proof.

Extraits

[...] Assume P (sequence of propositions that lead to the property 3. Q Proof by Contrapositive You have a property P and an other property Q. You want to prove that not Q implies not P. ——> not P ⟹ not Q Steps: 1. State the contrapositive DM-1 Introduction to proof Assume not Q (sequence of propositions that lead to the property not 4. [...]

[...] DM-1 Introduction to proof Created @September 8:02 PM Tags Definitions Proof : Sequence of propositions. Every propositions is either an axiom or it can be deduce from previous propositions. Propositions : Statement that is either true or false Examples : 4 color map theorem Every integer greater than 2 can be written as the sum of 2 primes numbers Consequence : Generally proofs are wrong so the main goal is to find which propositions is false in the whole sequences of propositions Proof Templates Direct Proof You have a property P and an other property Q. [...]