⊢
Proof Methods
★★★☆☆High School
📖Definition
Mathematical proof is the process of deriving conclusions logically from axioms and proven theorems. Methods include direct proof, contradiction, and induction.
📐Formulas
P → Q (direct proof)
Assume P true, show Q true
¬ Q → ¬ P (contrapositive)
Derive ¬P from ¬Q
¬ P → contradiction ⇒ P (proof by contradiction)
If ¬P leads to contradiction, P is true
✏️Examples
예제 1
Prove √2 is irrational by contradiction.
⚡Applications
Mathematics
Theorem proving
Computer Science
Algorithm correctness
Formal Verification
Software verification
🔗Related Documents
→Prerequisites
←Next Topics
↔Related
#증명#귀류법#proof#contradiction