null
US
Sign In
Sign Up for Free
Sign Up
We have detected that Javascript is not enabled in your browser. The dynamic nature of our site means that Javascript must be enabled to function properly. Please read our
terms and conditions
for more information.
Next up
Copy and Edit
You need to log in to complete this action!
Register for Free
20753604
Leyes de Inferencia
Description
UNAD - LOGICA MATEMATICA
No tags specified
tarea 2: metodos para probar la validez de un argumento
Mind Map by
Alejandra Duque
, updated more than 1 year ago
More
Less
Created by
Alejandra Duque
over 4 years ago
17
0
0
Resource summary
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
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)
Apoyada bajo
LOGICA MATEMATICA
Es aquella que nos permite mediante un lenguaje simbolico determinar si un argumento es valido o no
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
Emplea
RAZONAMIENTOS LOGICOS
Para demostrar teoremas y resolver situaciones o problematicas
Show full summary
Hide full summary
Want to create your own
Mind Maps
for
free
with GoConqr?
Learn more
.
Similar
Mapa conceptual de Lógica Matemática
Jhonnier Torres
Acids and Bases
silviaod119
Sociology GCSE AQA - Studying Society keywords
tasniask
French -> small but important words for GCSE
georgie_hill
IELTS Speaking vocabulary
Rafael Pôssas
OCR Gateway Biology Flash Cards
Sam Newey
The structure of the Heart, AS Biology
mill-bill
History - Treaty of Versailles
suhhyun98
Phrasal Verbs
Felipe Veintimilla
HEMORRAGIAS - OBST PATOLOGICA
María José Alvarez Gazzano
Rossetti Links
Mrs Peacock
Browse Library