You do not have permission to edit this page, for the following reasons:

You can view and copy the source of this page.

Templates used on this page:

- Induction overview (view source)
- P(n) does not include ∀n (view source)
- P(n) is a statement (view source)
- Prime (view source)
- Try to apply P(n) (view source)
- Template:Claim (view source)
- Template:Def (view source)
- Template:Proof (view source)
- Claim:A ∩ (B 1 ∪ ... ∪ B n) ⊆ (A ∩ B 1) ∪ ... ∪ (A ∩ B n) (view source)
- Claim:A ∩ (B∪C) ⊆ (A∩B) ∪ (A∩C) (view source)
- Claim:Every natural number has a prime factorization (view source)
- Claim:Σi = n(n+1)/2 (view source)
- Proof:A ∩ (B 1 ∪ ... ∪ B n) ⊆ (A ∩ B 1) ∪ ... ∪ (A ∩ B n) (view source)
- Proof:A ∩ (B∪C) ⊆ (A∩B) ∪ (A∩C) (view source)
- Proof:Every natural number has a prime factorization (weak induction; doesn't work) (view source)
- Proof:Σi = n(n+1)/2 (view source)
- Definition:Composite (view source)
- Definition:Prime (view source)

Return to FA18:Lecture 12 induction.