Ejercicios de inferencia

lógica
Integrantes:
Kevin Orlando Rivera Lasso
Santiago Timaran Lasso
Profesor:
Oscar Alberto Narváez Guerrero
1 (PvQ)→(RvS) - (PvQ)
2 (RvS)→ ~T
3T
6 ~P^~Q[LM a 5]
1
~P - ~P^~Q
7 ~P[Ley de simplificación a 6]
- (RvS)→ ~T
- T
4 ~(RvS)[ T.T a 2 y 3]

- (PvQ)→(RvS)
-~(RvS)
5 ~(PvQ)[ T.T a 1 y 4]
1 (P^Q)→R - ~QvR
2 (Q→R)→S 7 Q→R[Elim→ inversa a 6]
3P 2
S - (Q→R)→S
- Q→R
- (P^Q)→R 8 S[P.P a 2 y 7]
4 ~(P^Q)vR[Elim→ a 1]

- ~(P^Q)vR
5 ~Pv~QvR[LM a 4]

- ~Pv~QvR
- P
6 ~QvR[T.P a 3 y 5]
1 P→Q
2 P^R
3 S→~Q
~S 3
- P^R
4 P[Simplificación a 2]

- P→Q
-P
5 Q[P.P a 1 y 4]

- S→~Q
-Q
6 ~S[T.T a 3 y 5]
1 P→(Qv~T)
2 ~R→~S
P→(Q→~S) 4
1 (P→Q)^(Q→R)
- RvU
2 PvS
7 ~R→U[Elim→Inversa a 6]
3 (S→T)^(T→U)
~R→U
5
- (P→Q)^(Q→R)
4 P→R[S.H a 1]

-(S→T)^(T→U)
5 S→U[S.H a 5]

- P→R
- S→U
- PvS
6 RvU[S.D a 2,4 y 5]
1 P→Q
2 ~R→~P
3 S→R
4 (P^R)→T
6
5 ~RvQ
(PvS)→T
1 ~(P^Q)→(R^~S) - R^~S
2 Q→~P 6 R[Simplificación a 5]
R
7
- Q→~P
3 –Qv~P←→~Pv~Q[Elim→ y Conmutativas a 2]

- ~(P^Q)→(R^~S)
4 (~Pv~Q)→(R^~S)[LM A 1]

- (~Pv~Q)→(R^~S)
- ~Pv~Q
5 (R^~S)[P.P A 3 Y 4]
1 P→~Q - P→~R
2 ~Q→~R - ~R→S
3 SvR 7 P→S[S.H a 5 y 6] 8
~PvS
- P→S
- SvR 8 ~PvS[Elim→ a 7]
4 RvS[Conmutativa a 3]

- RvS
5 ~R→S[Elim→inversa a 4]

- P→~Q
- ~Q→~R
6 P→~R[S.H a 1 y 2]
1 P→(QvR)
2 R→~S
P→(~Q→S) 9
1 P→~Q
2 ~QvR
~PvQ 10
1 ~PvQ - P^~S
2R 7 P[Simplificación 6]
3 (P→S)→~R
~(Q→S)
8 ~S[Simplificación 6] 11
- ~PvQ
- Q^~S
- (P→S)→~R 9 P→Q[Elim→1]
12 ~Q→~S[Elim→inversa 11]
-R
4 ~(P→S)[T.T 2 y - P→Q
- ~Q→~S
3] -P
13 ~(Q→S)[LM inversa a 12]
10 Q[P.P 7 y 9]
- ~(P→S)
5 ~(~PvS)[Elim→4] -Q
- ~S
-~(~PvS) 11 Q^~S[Adjunción 8 y 10]
6 P^~S[LM 5]