Académique Documents
Professionnel Documents
Culture Documents
Estudiante
(200611A_90)
Tutor
RICARDO LAVERDE
Contenido
Introducción ........................................................................................................................................ 3
Objetivos ............................................................................................................................................. 4
Conclusiones ..................................................................................................................................... 10
Introducción
con el fin de determinar cada proposición diferente según sus categorías. La cual es un tema
de requisito para poder determinar los esquemas según su proposición categórica; que son
respectiva clasificación en tablas de verdad ya sea simulada o manual y por ultimo con la
expresión simbólica seleccionada con sus respectivas premisas se aplicaron las leyes de
inferencia
4
Objetivos
Proposiciones categóricas: A
ESTRUCTURA
ESTRUCTURA
ESTRUCTURA
ESTRUCTURA
ESTRUCTURA
P q
Argumento:
A. Hace un tiempo, Juan, Miguel y Alejandro que son amigos, le prestaron dinero a José, él
no les pagó; ahora nuevamente José le pide a Miguel que le haga un préstamo,
inmediatamente Miguel asume que no le va pagar ese dinero.
Desarrollo
Argumentación: Según el razonamiento que se establece que es Deductivo, ya que
conociendo los hechos de que Juan, Miguel y Alejandro son amigos quienes le prestaron
dinero a José y él no pago, se deduce que José no paga lo que le prestan.
Premisas:
P1: (r → ¬q)
P2:(p ∨ s)
P3: (q ∧ p)
Conclusión: ¬r
Proposiciones simples:
r: Helena estudia ingeniería
q: participa en los laboratorios presenciales
p: tiene inscrita una materia de física
s: está cursando cuarto semestre
Razonamiento en lenguaje natural:
[(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] →¬r
Helena estudia ingeniería entonces no participa en los laboratorios presenciales y tiene
inscrita una materia de física o está cursando cuarto semestre y participa en los laboratorios
presenciales y tiene inscrita en la materia de física. por tanto Helena no estudia ingeniería
Tabla de verdad Simulador
Leyes de inferencia:
Conclusión: ¬r
____________________
Premisa 1: (r → ¬q)
Premisa 2:(p ∨ s)
Premisa 3: (q ∧ p)
_____________________________
P4: q aplicando Simplificacion P3
P6: ¬r aplicando MTT P1 y P4
10
Conclusiones
Es una funcion la cual define una declaracion categorica sea falsa o verdadera usando
argumentos que utilizamos en la vida cotiana con le fin de convertirsen en modo deductivo
e inductivo. Cosas tan sencillas que razonamos en la vida diaria, que hasta un simple
Referencias Bibliograficas
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,