20753604
Description
Mind Map by Alejandra Duque, updated more than 1 year ago
|
Created by Alejandra Duque
over 4 years ago
|
|
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
- 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
- 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
- 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
- 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
- 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
- p∧q, ∴p
- Conjuncion (CON)
- Permite unir dos premisas
diferentes
- p, q, ∴p∧q
- 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
- (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
- (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)
- 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
- 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)≡¬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
- Para demostrar teoremas y
resolver situaciones o
problematicas
- RAZONAMIENTOS LOGICOS
Want to create your own Mind Maps for free with GoConqr? Learn more.