La lógica estudia la forma correcta de razonar: la validez depende de la forma, la verdad del contenido.
Conceptos
- Premisas → conclusión. Válido: imposible premisas V y conclusión F.
- Deducción (necesaria), inducción (probable), abducción (mejor explicación).
- Silogismo: término medio en las dos premisas.
Conectores
- ¬ no · ∧ y · ∨ o · → si…, entonces · ↔ si y solo si.
- p → q solo es F si p V y q F. Tabla: 2ⁿ filas.
- Tautología, contradicción, contingencia.
Reglas
- Modus ponens: p → q, p ⊢ q.
- Modus tollens: p → q, ¬q ⊢ ¬p.
- Silogismo disyuntivo: p ∨ q, ¬p ⊢ q.
Errores frecuentes
- Decir que un argumento es «verdadero»: es válido o inválido.
- Afirmar el consecuente o negar el antecedente.
- Traducir «solo si p, q» como p → q (es q → p).