null
US
Iniciar Sesión
Regístrate Gratis
Registro
Hemos detectado que no tienes habilitado Javascript en tu navegador. La naturaleza dinámica de nuestro sitio requiere que Javascript esté habilitado para un funcionamiento adecuado. Por favor lee nuestros
términos y condiciones
para más información.
Siguiente
Copiar y Editar
¡Debes iniciar sesión para completar esta acción!
Regístrate gratis
20753604
Leyes de Inferencia
Descripción
UNAD - LOGICA MATEMATICA
Sin etiquetas
tarea 2: metodos para probar la validez de un argumento
Mapa Mental por
Alejandra Duque
, actualizado hace más de 1 año
Más
Menos
Creado por
Alejandra Duque
hace alrededor de 4 años
14
0
0
Resumen del Recurso
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
Mostrar resumen completo
Ocultar resumen completo
¿Quieres crear tus propios
Mapas Mentales
gratis
con GoConqr?
Más información
.
Similar
Mapa conceptual de Lógica Matemática
Jhonnier Torres
Creando una Ficha
Diego Santos
6 Técnicas de Enseñanza que No Conocías
maya velasquez
Gramática para practicar el First Certificate I
Diego Santos
FRACCIONES...
JL Cadenas
Arte Prerromano
maya velasquez
METODOLOGÍA DE LA INVESTIGACIÓN
blacroci25
PRUEBA DE MATEMÁTICAS GRADO ONCE
jennydaza28
VERBOS...
Ulises Yo
Hormonas corticotroficas
Néstor León Arbulú
ISLAMISMOA_plantilla
Txemi López
Explorar la Librería