Geologia

Universidad Mariano Gálvez de Guatemala
Ingeniería en Sistemas
Plan Fin de Semana -B-
Huberto Jonatán Martínez Fernández
0902-1214675


1.4.
1. Fv(GvH) 1. Q→(R→S)
2. (G→I)^ (FvH) 2. (R→S)→T
3. (IvJ)→(FvH) 3. (S^U)→~V
4. ~F 4. ~V→(R↔~W)
▲ H5. ~Tv~(R↔~W)
5. GvH 1,4 (S.D) ▲ ~Qv~(S^U)
6. IvJ 2,5(D.C) 6. Q→T 3,4(S.H)
7. FvH 3,6(M.P) 7. (S^U)→(R↔~W) 6,7(CONJ)
8. H 7,4(S.D) 8.(Q→T)^[(S^U)→(R↔~W)] 6,7(CONJ)
9. ~Qv~(S^U) 5,11(D.D)

2. 5.
1. (~Xv~Y)→[A→(P^~Q)] 1. A→B2. (~X^~R)→[(P^~Q)→Z] 2. C→D
3. (~X^~R)^(~ZvA) 3. ~Bv~D
▲ A→Z 4. A
4. ~X^~R 3(SIMP) 5. (E^F)→C
5. (D^~Q)→Z 2,4(M.P) ▲ ~(E^F)
6.~X 4(SIMP) 6. (A→B)^(C→D) 1,2(CONJ)
7. ~Xv~Y 6(AD) 7. ~Av~C 6,3(D.D)
8. A→(P^~Q) 1,7(M.P) 8. ~C 7,4(S.D)
9. A→Z 8,5(S.H) 9. ~(E^F) 5,8(M.T)

3.6.
1. H→(I→J) 1. A→B
2. K→(I→J) 2. C→D
3. (~H^~K)→(~Lv~M) 3. (~Bv~D)^(~Av~B)
4. (~L→~N)^(~M→~O) ▲ ~Av~C
5. (P→N)^(Q→O) 4. ~Bv~D3(SIMP)
6. ~(I→J) 5. (A→B)^(C→D) 1,2(CONJ)
▲ ~Pv~Q 6. ~Av~C 5,4(D.D)
7. ~H 1,6(M.T)
8. ~K 2,6(M.T)
9. ~H^~K 7,8(CONJ)
10. ~Lv~M 3,9(M.D)
11. ~Nv~O4,10(D.C)
12. ~Pv~Q 5,11(D.D)

7. 8.
1. (R→~S)^(T→~U) 1. (AvG)→S
2. (V→~W)^(X→~Y) 2. A^T
3. (T→W)^(U→S) ▲ S
4. (VvR)3. A 2(SIMP)
▲ ~Tv~U 4. AvG 3(AD)
5. R→~S 1(SIMP) 5. S 1,4(M.P)
6. V→~W 2(SIMP)
7. (V→~W)^(R→~S) 6,5(CONJ)
8. ~Wv~S 7,4(D.C)
9. ~Tv~U...