LOGICA MATEMATICA - (90004A_761)

Tutor:
Jairo Yamid Marín

Número del grupo

90004_311

Estudiante:
Angel Giovanny Montanchez Lozano
Código: 1113649505

Universidad Nacional Abierta y a Distancia UNAD

Escuelas de Ciencias Administrativas contables y de Negocios
ECACEN
Abril 08 2020
 LOGICA
MATEMATICA

CLASIFICACION
PREMIAS Y TABLA DE REGLAS DE
DE EQUIVALENCIA VALIDEZ
CONCLUSIONES VERDAD INTERFERENCIA
ARGUMENTOS

1 MODUS PONENS DOBLE NEGACIÓN

2 MODUS TOLLENS DISTRIBUTIVA
3 DISYUNTIVO LEYES DE MORGAN
ES UN ARGUMENTO 1.TOUTOLOGIA 4 HIPOTETICO CONMUTACIION
5 ADICION TAUTOLOGIA DEDUCIR LA CONCLUSIN
QUE SE SEPARA CON 2 CONTRADICION O METODO DE
UTILIZANDI TODAS LAS
SIMBOLOS Y TIENE UN ABSURDO DEMOSTRACION 6 SIMPLIFICACION ASOCIACION PREMISAS
SOLA CONCLUSION 3 CONTINGENCIA 7 CONJUNCION IMPLICACIÓN
8 DILEMA CONSTRUTIVO EQUIVALENCIA
9 DILEMA DESTRUCTIVO TRANSPOSICION
10 ABSORCION EXPORTACION
 LEYES DE
IINTERFERENCI
A LOGICA

Modus Ley de
Regla de Reglas de Reglas de
Modus Ponens Modus Tollens Tollendo Silogismo
Adjunción simplificación adicción
ponens Hipotético

Establece que
((p˅q)˄¬p)≡ V y Establece que
Establece que
P→(p˅q)≡V y
Establece que (p˄q)→p≡V y ((p˅q)˄¬q)→p≡ Establece que
Establece que Establece que que
(p˄q)→(p˄q)≡V que V: ((p→q)˄(q→r))
((p→q) ˄p) ((p→q)˄¬q)→¬ q→(p˅q)≡ V:
: (p˄q)→q≡ V: →(p→r)≡ V
→q≡V: p≡ V:
Premisa 1: p˅q
Premisa 1: p Premisa 1: Premisa 1: p→q Premisa 1: p
Premisa 1: p→q Premisa 1: p→q Premisa 1: p˄q
p˅q Premisa 2: q
Premisa 2: q Premisa1: Premisa 2: q→r
Premisa 2: p Premisa 2: ¬q Conclusión:
Conclusión: p˄q Premisa 2: ¬p Conclusión:
Conclusión: q Conclusión: ¬p Premisa 2: ¬p p˅q
p˄q Conclusión: P p→r
Conclusion:
Conclusión: q Conclusión: q p˅q
Conclusión: p
 RAZONAMIENTO LOGICO
DEDUCCTIVO
ES AQUEL QUE PARTE DE ENUNCIADOS GENERALES
PARA CONCLUIR CON ENUNCIADOS MENOS
GENERALES
Ejemplo
voy ala palya o voy ala disco en la noche
no voy ala playa este dia en la noche
porlo tanto voy ala disco este dia en la noche
INDUCTIVO
SE CARACTERIZA POR GENERALIZAR PERO APARTIR
DE OBSERVACIONES DE PROPIEDADES REALMENTE
REPRESENTATIVAS Y ESENCIALES
Ejemplo
anamaria atenido 3 novios 1,2y 3 los cuales le fueron
infieles apartir de estas tres experncias negativas,
anamaria concluye que todos los hombres son infieles
 Bibliografía

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,
complementos. (pp. 19-28). Madrid, España: Editorial Tébar Flores. Recuperado http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?
ppg=20&docID=3226457&tm=1529246259924

Sánchez, H. R. (2014). Álgebra. (pp. 2- 30). México, D.F., México: Larousse - Grupo Editorial Patria. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=15&docID=11046169&tm=1489706134764
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse - Grupo Editorial Patria. (pp. 29-38). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=40&docID=11013570&tm=1492519542738

Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria. (pp.163-166). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=178&docID=11046000&tm=1492520104862