Mind map
Leyes de Inferencia
Map content
Leyes de Inferencia
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
- Permite eliminar el antecedente siempre que la segunda premisa sea dicho antecedente
- 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
- Permite eliminar el consecuente siempre y cuando este negado en la segunda premisa, dado como consecuencia el antecedente negado
- 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
- Permite eliminar el consecuente de la primera premisa y el antecedente de la segunda premisa, siempre y cuando sean las mismas
- 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
- Permite eliminar una de las dos disyunciones siempre que una de las dos esté negada en la segunda premisa
- Adicion (AD)
- Permite agregar las variables proposicionales que se necesiten
- p, ∴p∨q
- Permite agregar las variables proposicionales que se necesiten
- 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
- Permite unir dos premisas diferentes
- Permite eliminar las variables proposicionales que no se necesiten
- 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
- Permite eliminar los antecedentes de las dos condicionales, dado como resultado la disyuncion de la negacion de los consecuentes
- Permite eliminar los antecedentes de las dos condicionales , dando como resultado la disyuncion de los consecuentes
- Absorcion (ABS)
- Permite reescribir el consecuente, dando como resultado la conjuncion del antecedente y consecuente
- p→q , ∴p→(p∧q)
- Permite reescribir el consecuente, dando como resultado la conjuncion del antecedente y consecuente
- Modus Ponens (MD)
- Leyes De Inferencia Logica
Apoyada bajo
- LOGICA MATEMATICA
- Es aquella que nos permite mediante un lenguaje simbolico determinar si un argumento es valido o no
- LOGICA MATEMATICA
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)
- Leyes de Morgan (DM)
- p→q≡ ¬p∨q
- Ley de expotacion (LE)
- p→q≡ ¬q→¬p
- Ley del Condicional
- Ley de contraposicion
Emplea
- RAZONAMIENTOS LOGICOS
- Para demostrar teoremas y resolver situaciones o problematicas
- RAZONAMIENTOS LOGICOS