Leyes de Inferencia

Leyes de Inferencia

1. Son Formas De Argumentos Cuya Valides Puede Ser Demostrada Con Tablas De Verdad

   • Leyes De Inferencia Logica
     • Modus Ponens (MD)
       • Permite eliminar el antecedente siempre que la segunda premisa sea dicho antecedente
         • p →q, p ∴q
     • Modus Tollens (MD)
       • Permite eliminar el consecuente siempre y cuando este negado en la segunda premisa, dado como consecuencia el antecedente negado
         • p →q, ¬q, ∴¬q
     • Silogismo Hipotetico (SH)
       • Permite eliminar el consecuente de la primera premisa y el antecedente de la segunda premisa, siempre y cuando sean las mismas
         • p →q, q→r, ∴p→r
     • Silogismo Disyuntivo (SD)
       • Permite eliminar una de las dos disyunciones siempre que una de las dos esté negada en la segunda premisa
         • p∨q, ¬p, ∴q
     • Adicion (AD)
       • Permite agregar las variables proposicionales que se necesiten
         • p, ∴p∨q
     • Simplificacion (SIM)
       • Permite eliminar las variables proposicionales que no se necesiten
         • p∧q, ∴p
       • Conjuncion (CON)
         • Permite unir dos premisas diferentes
           • p, q, ∴p∧q
     • Dilema Constructivo (DC)
       • Permite eliminar los antecedentes de las dos condicionales , dando como resultado la disyuncion de los consecuentes
         • (p→q)∧(r→s), p∨r, ∴q∨s
       • Dilema Destructivo (DD)
         • Permite eliminar los antecedentes de las dos condicionales, dado como resultado la disyuncion de la negacion de los consecuentes
           • (p→q)∧( r→ s), ¬q∨¬s, ∴¬p∨¬q
     • Absorcion (ABS)
       • Permite reescribir el consecuente, dando como resultado la conjuncion del antecedente y consecuente
         • p→q , ∴p→(p∧q)

2. Apoyada bajo

   • LOGICA MATEMATICA
     • Es aquella que nos permite mediante un lenguaje simbolico determinar si un argumento es valido o no

3. Leyes de Equivalencia

   • Ley de contraposicion
     • Ley del Condicional
       • Ley de expotacion (LE)
         • Leyes de Morgan (DM)
           • ¬(p∧q)≡¬p∨¬q
         • {(p∧q)→r}≡{p→(q→r)
       • p→q≡ ¬p∨q
     • p→q≡ ¬q→¬p

4. Emplea

   • RAZONAMIENTOS LOGICOS
     • Para demostrar teoremas y resolver situaciones o problematicas