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