UNIVERSIDAD LA GRAN

COLOMBIA LÓGICA MATEMÁTICA

REGLAS DE INFERENCIA

Laura Valentina Tellez

Fabian Olarte Mora

1. A partir de las reglas de inferencia resolver los siguientes ejercicios

a. Demostrar Q b. Demostrar R c. Demostrar S ∧T d. Demostrar ¬S

(1)S → (P ∨ Q) (1)S → ¬T (1)P ∧ R (1)T → R

(2)S (2)T (2)P → S (2)R → ¬S
(3)¬P (3)¬S → R (3)R → T (3)T

(4) PVQ PP 1,2 (4) ¬ S TT1,2 (4) P S (1) (4) R PP 1,3

(5) Q TP 4,3 (5) R PP3,4 (5) S PP (2,4) (5) ¬S PP2,4
(6) R S (1)
(7) T PP (1,3)
(8) S ∧T CJ (5,6)

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

(4) ¬P PP 3,4 (4) P PP 1,3 (4) P TP 1,2 (4) ¬T TT 1,2

(5) T PP 2,3 (5) S PP 3,4 (5) S TP 3,4
(5) T TT 1,2
(6) S ∧T Con 4,5

i. Demostrar ¬T j. Demostrar ¬R k. Demostrar S l. Demostrar ¬Q

(1)P → S (1)S ∨ ¬R (1)P → (Q ∧ R) (1)T → ¬S

(2)P ∧ Q (2)T → ¬S (2)P (2)S
(3)(S ∧ R) → ¬T (3)T (3)T → ¬Q (3)Q → ¬T
(4)Q → R (4)T ∨ S

(5)P S(2) (4) S TT (1,2) (5) Q ∧ R PP1,2 (4) ¬T TT1,2

(6) S PP (1,5) (5) ¬R TT (1,4) (6) Q S (5) (5) ¬Q TT3,4
(7)Q S(2) (7) ¬T TT (3,6)
(8) R PP (4,7) (8) S TP (4,7)
(9) S ∧ R A (6,8)
(10) ¬T PP (3,9)
 m. Demostrar Q ∨ R n. Demostrar S o. Demostrar ¬R p. Demostrar A

(1)S → ¬T (1)¬T ∨ R (1)Q ∧ T (1)¬A → C

(2)T (2)T (2)Q → ¬R (2)C → ¬M
(3)¬S → (Q ∨ R) (3)¬S → ¬R (3)T → ¬R (3)M ∨ R
(4)¬R
4
(4) ¬S TT1,2 (4) ¬R TP (1,2) (4) Q S (1) (5)M TP 3,4
(5) Q ∨ R PP3,4 (5) S TT (3,4) (5) ¬R PP (2,4) (6) ¬ C TT 2,5
A (5,6)

q. Demostrar ¬G r. Demostrar T ∧ S s. Demostrar x

(1)W → O (1)E → S (1)x y∨x=y

(2)O → ¬G (2)¬T → ¬J (2)x = y → y ≠ 5
(3)W ∧ H (3)E ∧ J (3)x y ∧ y = 5 → x 5
(4)y = 5
(4)W S(3) (4) E S(3)
(5) O PP (1,4) (5) S PP (1,4)
(6) ¬G PP(2,5) (6) J S(3)
(7) T TT (2,6)
(8) T ∧ S A (7,5)
2. En cada una de las premisas siguientes, demostrar que la conclusión es
consecuencia de las premisas dadas. Hacer cada deducción exactamente igual a
como se han hecho las deducciones en el curso.

a. Si la enmienda no fue aprobada entonces la constitución queda como estaba. Si la

constitución queda como estaba entonces no podemos añadir nuevos miembros al
comité. O podemos añadir nuevos miembros al comité o el informe se retrasará un
mes. Pero el informe no se retrasará un mes. Por tanto la enmienda fue aprobada.

P =La enmienda fue aprobada

Q= La constitución queda como estaba
R= Podemos añadir nuevos miembros al comité
S= El informe se retrasará un mes.

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.

P=La ballena es un mamífero

Q=La ballena toma oxígeno del aire
R=La ballena necesita branquias
S=La ballena viven en el océano
Demostrar ¬R
(1) P→Q S(3)
(2) Q→¬R PP(1,4)
(3) P ∧ S PP (2,5)
(4) P
(5) Q
(6) ¬R
 c. Si esta es una sociedad matriarcal, entonces el hermano de la madre es el cabeza de
familia. Si el hermano de la madre es el cabeza de familia, entonces el padre no tiene
autoridad. Esta es una sociedad matriarcal. Por tanto, el padre no tiene autoridad.

P: Es una sociedad Matriarcal

R: El hermano de la madre es la cabeza de familia
S: El padre tiene autoridad.
COMPROBAR¬ S
(1) P→R PP 1,3
(2) R→¬S PP 2,5
(3) P
(4) R
(5) ¬S

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.

(1) P v Q S (1) Demostrar P

(2) S TT(3,4)
(3) S→¬Q S (1)
(4) Q
(5) ¬S
(6) P

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

Q= Maria es más baja que Alicia

R= Juan tiene la misma estatura que Luis

S= Luis tiene la misma estatura que Juan

Demostrar ¬(R∧S)

1. P → Q
2. ¬Q
3. R∧S→ P
4. ¬P TT 1,2
5. ¬(R∧S) TT 3 ,4

f. Si A ganó la carrera, entonces o B fue el segundo o C fue el segundo. Si B fue el

segundo, entonces A no ganó la carrera. Si D fue el segundo, entonces C no fue el
segundo. A ganó la carrera. Entonces, D no fue el segundo.

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.

P= El reloj está adelantado

Q= Juan llega antes de las diez
R= Juan vio partir el coche de Andrés
s=Andres dice la verdad
T= Andres estaba en el edificio
DEMOSTRAR T

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