IMG_3022.jpeg

# Reglas de Inferencia Una **regla de inferencia** es un esquema para construir argumentos válidos. Estas reglas permiten derivar conclusiones a partir de premisas. Algunas reglas básicas son: * **Modus Ponens (MP)** * Si $p \rightarrow q$ es verdad, y $p$ es verdad, entonces $q$ es verda...

# Reglas de Inferencia Una **regla de inferencia** es un esquema para construir argumentos válidos. Estas reglas permiten derivar conclusiones a partir de premisas. Algunas reglas básicas son: * **Modus Ponens (MP)** * Si $p \rightarrow q$ es verdad, y $p$ es verdad, entonces $q$ es verdad. * Ejemplo: * Si llueve, entonces hay nubes. * Llueve. * Por lo tanto, hay nubes. * **Modus Tollens (MT)** * Si $p \rightarrow q$ es verdad, y $q$ es falso, entonces $p$ es falso. * Ejemplo: * Si llueve, entonces hay nubes. * No hay nubes. * Por lo tanto, no llueve. * **Silogismo Hipotético (SH)** * Si $p \rightarrow q$ y $q \rightarrow r$ son verdaderas, entonces $p \rightarrow r$ es verdadera. * Ejemplo: * Si estudio, entonces aprendo. * Si aprendo, entonces apruebo. * Por lo tanto, si estudio, entonces apruebo. * **Silogismo Disyuntivo (SD)** * Si $p \vee q$ es verdad, y $p$ es falso, entonces $q$ es verdad. * Ejemplo: * O el interruptor está encendido o está apagado. * El interruptor no esta encendido. * Por lo tanto, el interruptor está apagado. * **Adición (A)** * Si $p$ es verdad, entonces $p \vee q$ es verdad. * Ejemplo: * Tengo una manzana. * Por lo tanto, tengo una manzana o una banana. * **Simplificación (S)** * Si $p \wedge q$ es verdad, entonces $p$ es verdad. * Ejemplo: * Tengo una manzana y una banana. * Por lo tanto, tengo una manzana * **Conjunción (C)** * Si $p$ es verdad y $q$ es verdad, entonces $p \wedge q$ es verdad. * Ejemplo: * Tengo una manzana. * Tengo una banana. * Por lo tanto, tengo una manzana y una banana. Estas reglas son fundamentales para construir argumentos lógicos y demostrar la validez de proposiciones.