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
about 4 years ago
13
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
French Intermediate
PatrickNoonan
English Vocabulary
Niat Habtemariam
German GCSE Vocab
naomisargent
Cultural Studies
Emily Fenton
Psychology flashcards memory
eharveyhudl
GCSE REVISION TIMETABLE
Joana Santos9567
Biology (B2)
Sian Griffiths
OCR Physics P4 Revision
Dan Allibone
Using GoConqr to learn Spanish
Sarah Egan
Highway Code Road Signs for Driving Test
Sarah Egan
Browse Library