Reglas de Inferencia
Las reglas de inferencia lógica proporcionan la base para construir argumentos correctos. Estos son patrones que aseguran que si las afirmaciones iniciales son verdaderas, la conclusión también lo será.
Modus Ponens
Si p es verdadero, y p implica q, entonces q es verdadero.
Ejemplo: Si llueve (p), entonces la carretera está mojada (q). Llueve → por lo tanto, la carretera está mojada.
Modus Tollens
Si p → q es verdadero, y q es falso, entonces p no puede ser verdadero.
Ejemplo: Si llueve (p), entonces la carretera está mojada (q). La carretera no está mojada → por lo tanto, no llueve.
Silogismo Hipotético
Si p implica q, y q implica r, entonces p implica r.
Ejemplo: Si estudias (p), entonces entiendes el material (q). Si entiendes el material, entonces tendrás éxito en el examen (r). Por lo tanto: si estudias, tendrás éxito en el examen.
Silogismo Disyuntivo
Si p o q es verdadero, y p es falso, entonces q es verdadero.
Ejemplo: O Anna está en casa (p), o en la tienda (q). Si no está en casa, entonces debe estar en la tienda.
Regla de Doble Negación
La doble negación devuelve la afirmación original: si no es verdad que no p, entonces p es verdadero.
Resumen
Las reglas de inferencia aseguran el razonamiento correcto. Las más conocidas son: modus ponens, modus tollens, silogismo hipotético y disyuntivo, así como la regla de doble negación.
Ejercicio de Práctica
Hemos revisado y comprobado los materiales, pero aún pueden existir errores. El contenido se ofrece únicamente con fines educativos, así que úsalo bajo tu propia responsabilidad y verifica con otras fuentes si es necesario.
✨ Pregunta a Lara — tu compañera de estudio con IA
Desbloquea soporte de aprendizaje personalizado. Lara puede explicar lecciones, resumir temas y responder tus preguntas — disponible desde el plan Go y superiores.
Lara te ayuda a aprender más rápido — exclusivo para los miembros ReadyTools Go, Plus y Max.
