5867573
Descripción
Mapa Mental por Naimi Syahira, actualizado hace más de 1 año
|
Creado por Naimi Syahira
hace más de 8 años
|
|
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
Recursos multimedia adjuntos
¿Quieres crear tus propios Mapas Mentales gratis con GoConqr? Más información.