EJERCICIO 2 LETRA (E)

1. Expresión simbólica: [( p → q)˄(q → r )˄( p ∨q)]→ r

Premisas:
P1: p →q
P2: q → r
P3: p ∨q
Conclusión: r

Premisas simples:

P: la semana tiene 7 días

Q: estudiare matemáticas
R: seré el mejor de la clase.

Si la semana tiene 7 días entonces estudiare matemáticas y estudiare

matemáticas entonces seré el mejor de la clase. Y si la semana tiene 7
días o estudiare matemáticas entonces seré la mejor de la clase.

2.Tabla de verdad: es tautología

N= número de proposiciones simples

N=3 (p, q, r)

Numero de filas se calcula 2n

2³ = 2*2*2=8→ numero de filas

P Q R P→Q Q→R PVQ →r [(p→ q) ˄ (q→ r) ˄ (p V q)]→r

V V V V V V V V
V V F V F V V V
V F V F V V V V
V F F F F V V V
F V V V V V V V
F V F V V V V V
F F V V V F V V
F F F V V F V V

3.leyes de inferencia:
Premisa 1: p →q
 Premisa 2: q → r
Premisa 3: p ∨q
Conclusión: r
Solución.

P4: simplificación en p3

p^s
p4: p
nota: en este aplique la ley de simplificación a p3 que es cuando hay una
disyunción podemos afirmar cualquiera de las dos en este caso afirme (p) para la cual me queda
la premisa (4)

P5: modus ponendo ponens en p1 y p 4

nota: en p5 use la ley de modus ponendo ponens en p1 y p4 esta ley me dice que cuando hay una
consecuente en p y q el antecedente de la primera letra debe ser igual en este caso tengo p y q
entonces afirmo q en p5.

p→q
p
P5: Q

P6: modus ponendo ponens en p2 y p 5

nota: en p6 use la ley de modus ponendo ponens en p2 y p5 esta ley me dice que cuando hay una
consecuente en p y q el antecedente de la primera letra debe ser igual quedaría q entonces r
donde las consecuentes son iguales puedo afirmar r donde logro llegar a la conclusión

q→r
q
P6: R

Llegando a la conclusión r.