Taller Reglas de Inferencia - Demostraciones (1) SE
Taller Reglas de Inferencia - Demostraciones (1) SE
Taller Reglas de Inferencia - Demostraciones (1) SE
g. Demostrar S
e. Demostrar T
f. Demostrar S ∧T h. Demostrar S
(1)P → S (1)P → S (1)P ∨ Q (1)T → R
(2)¬S (2)P → T (2)¬Q (2)¬R
(3)¬P → T (3)P (3)P → S (3)T ∨ S
demostrar P
(1) ¬P →Q TP 3,4
(2) Q→¬R TT 2,5
(3) RvS TT 1,6
(4) ¬S
(5) R
(6) ¬Q
(7) P
b. Si la ballena es un mamífero entonces toma oxígeno del aire. Si toma oxígeno del
aire, entonces no necesita branquias. La ballena es un mamífero y vive en el
océano. Por tanto, no necesita branquias.
d. O esta roca es una roca ígnea o es una roca sedimentaria. Esta roca es granito. Si
esta roca es granito entonces no es una roca sedimentaria. Por tanto, esta roca es
una roca ígnea.
P= La roca es ígnea
Q= La roca es sedimentaria
S= La roca es de granito.
e. Si Juan es más alto que Pedro, entonces María es más baja que Juana. María no es
más baja que Juana.Si Juan y Luis tienen la misma estatura, entonces Juan es más
alto que Pedro. Por tanto, Juan y Luis no tienen la misma estatura.
P= Juan es más alto que Pedro
Demostrar ¬(R∧S)
1. P → Q
2. ¬Q
3. R∧S→ P
4. ¬P TT 1,2
5. ¬(R∧S) TT 3 ,4
P= A ganó la carrera
Q= B fue el segundo en la carrera¬
R= C fue el segundo en la carrera
S=D fue el segundo en la carrera
Demostrar ¬S
1. P →(QvR) DN 4
2. Q→¬P TT 2,5
3. S→¬R PP 1,4
4. P TP 7
5. ¬(¬P) DN 8
6. ¬Q PP 3,9
7. QvR
8. R
9. ¬(¬R)
10. ¬S
g. Si el reloj está adelantado, entonces Juan llegó antes de las diez y vio partir el
coche de Andrés. Si Andrés dice la verdad, entonces Juan no vio partir el coche de
Andrés. O Andrés dice la verdad o estaba en el edificio en el momento del crimen.
El reloj está adelantado. Por tanto, Andrés estaba en el edificio en el momento del
crimen.
1. P→(Q∧R) PP 1,4
2. S→¬R S5
3. SvT TT 2,7
4. P TP 3,8
5. Q∧R
6. Q
7. R
8. ¬S
9. T