Gu1a L2gica 2

Apuntes

Guía Lógica 2 REGLAS DE INFERENCIA → **Modus Ponens**: P P → q ... q ... (conclusión) → **Modus Tollens**: q P → q ... ¬P → **Sigoq. Hipotético**: P → q q → r ... P → r → **Sigoq. Disyuntivo**: P ∨ q p ... q → **Adición**: P :: P ∨ q → **Simplificación**: P ∧ q :: P → **Conjunción**: P q :: P ∧ q → **Resolución**: P ∨ q ¬ P ∨ r :: q ∨ r :: q ∨ r **Extras:** → **Contrapositiva**: * P → q = ¬q → ¬P → **Implicación**: * P ∨ q = ¬P ∨ q → **Distributiva**: * P ∨ (q ∧ r) = (P ∨ q) ∧ (P ∨ r) **INTRODUCCIÓN A LA MATEMÁTICA** → Paso 1: n = 1 → Paso 2: n = k → Paso 3: n = k, sustituir 1 + 2 + ... + n con el paso 2 --- He corregido errores ortográficos, añadido puntuación adecuada y estructurado el contenido en párrafos claros y coherentes, manteniendo el significado original y siguiendo las instrucciones.