[Título del documento]

TALLER DE INFERENCIAS

POR:

LILIAN DEL CARMEN RAMÍREZ RIVAS

SEMESTRE:

MATERIA:

LÓGICA

PROGRAMA:

LICENCIATURA EN INGLÉS

DOCENTE:

TATIANA ROJAS SALAMANCA

pág. 1
 [Título del documento]

7) Demostrar: ~q
1.p→~q
2.(p˄r) ˅ s
3.s → (t ˅ s)
4.~t ˅˄~u

SOLUCIÓN
Elegí comenzar desde la formula numero 4 hasta la primera premisa.
1.p→~q
2.(p˄r) ˅ s 5) .~t ˄~u ∴ ~t
3.s → (t ˅ s) 6) .~t ˄~u ∴ ~u
7) s → (t ˅ s)
4.~t ˅˄~u
t˅s
5)S ~t S,4
∴S
6) ~u S,4
8) .(p˄r) ˅ s
7) S MPP.3 ~s
8) p˄r MTP.2,7 ∴ p˄r
9) p S,8 9) p˄r ∴ p
10) r. S,8 10) p˄r ∴ r
11) p→~q
11) ~q MPP,1
p
Premisas 5, 6, 9 y 10 ley de simplificación
∴ ~q
Premisas 7 y 11 Modus Ponendo Ponens
Premisa 8 Modus Tolendo Ponens
Enlace: https://youtu.be/Mg1lCmlOxIQ

pág. 2