5867573
Descrição
Mapa Mental por Naimi Syahira, atualizado more than 1 year ago
|
Criado por Naimi Syahira
mais de 8 anos atrás
|
|
Mathematical Proof
Strategy
- CONTRAPOSITIVE
- PROPOSITION : P → Q is logically equivalent to a ~Q → ~P
- EXAMPLE
- OUTLINE
- Alternative to direct proof
- PROPOSITION : P → Q is logically equivalent to a ~Q → ~P
- CONTRADICTION
- Assume statement to be proven is false, then show
that assumption leads to nonsense
- To make a statement false, only negate Q
- Not limited to proving just conditional
statements
- To make a statement false, only negate Q
- PROPOSITION : P is logically equivalent to (~P) → (C ^ ~C)
- OUTLINE
- EXAMPLE
- Assume statement to be proven is false, then show
that assumption leads to nonsense
- MATHEMATICAL INDUCTION
- Used when we have a set of statements S1, S2, S3, ..., Sn, ..., and
we need to prove that they are all true
- OUTLINE
- EXAMPLE
- Used when we have a set of statements S1, S2, S3, ..., Sn, ..., and
we need to prove that they are all true
- DIRECT PROOF
- OUTLINE
- PROPOSITION : If P, then Q
- A simple way to prove theorems or propositions that
have the form of conditional statements
- EXAMPLE
- OUTLINE
Anexos de mídia
Quer criar seus próprios Mapas Mentais gratuitos com a GoConqr? Saiba mais.