Tarea 3 Rosa
Tarea 3 Rosa
Tarea 3 Rosa
Proposiciones categóricas:
DESARROLLO:
El tipo de razonamiento que utiliza Carlos con respecto a Ana, es un razonamiento del tipo
inductivo. El razonamiento inductivo es una modalidad del razonamiento que consiste en
obtener conclusiones generales a partir de premisas que contienen datos particulares o
individuales. Las premisas en este caso se serian que Ana le extravió el cargador a su primo
Esteban y el de su hermana Elba. Como conclusión general seria que Ana extravía los cargadores
de los celulares
Ejercicio 3: Problemas de aplicación
Expresión simbólica:
[ ( p →q ) ∨r ] ∧ ( r →∼ p ) ∧ ( p ∧ s ) → ( q ∧ s )
Premisas:
P 1: ( p → q ) ∨r
P 2: r → ∼ p
P 3: p ∧ s
Conclusión:
q∧s
Desarrollo:
Premisas simples:
Si rosa es una buena estudiante entonces estudia para los exámenes, o reprueba el semestre. Si
Rosa reprueba el semestre entonces no es una buena estudiante. Si Rosa es una buena estudiante
y aprueba el semestre. Entonces Rosa estudia para los exámenes y aprueba el semestre.
TABLA DE VERDAD
p q r s ∼p r →∼ p p ∧ s
p → q ( p → q ) ∨r [ ( p →q ) ∨r
q ∧] ∧
s ( r [→∼
( p →q ∨r( p] ∧ (sr) →∼ p ) ∧
p )∧
V V V V F V V F V F V V
V V V F F V V F F F F V
V V F V F V V V V V V V
V V F F F V V V F F F V
V F V V F F V F V F F V
V F V F F F V F F F F V
V F F V F F F V V F F V
V F F F F F F V F F F V
F V V V V V V V F F V V
F V V F V V V V F F F V
F V F V V V V V F F V V
F V F F V V V V F F F V
F F V V V V V V F F F V
F F V F V V V V F F F V
F F F V V V V V F F F V
F F F F V V V V F F F V
LEYES DE INFERENCIA
1 :( p → q )∨ r
2 :r →∼ p
3 : p ∧s
4. p simplificacion
5. s simplificaion
6. ∼ r TT (2 , 4 )
7. p → q TP(1 , 6)
8. q PP(7 , 4 )
9. q ∧ s adjunción(8 , 5)