En su obra titulada Conceptografa, el lgico y matemtico alemn Gottlob Frege

expone su sistema lgico, probando numerosas leyes lgicas a partir de algunos

axiomas y usando la regla de eliminacin del condicional. Los nicos smbolos lgicos
con los que expres esas leyes fueron la negacin, la conjuncin y el cuantificador
universal.
Consigna
(i) Para cada proposicin de la Conceptografa hallar una equivalente que no contenga
ningn condicional. Recordar que Frege defini al condicional PQ como
equivalente a (PQ).
(ii) Mostrar las equivalencias halladas en (i) usando tablas de verdad. (Puede usar
tambin una tabla de verdad para cerciorarse de que la definicin de Frege del
condicional es correcta).
(iii) Demostrar cada una de las proposiciones equivalentes halladas en (i) utilizando
Fitch (En el caso en que la proposicin tenga un asterisco, demostrar esa, y no su
equivalente, en Fitch). Recordar que estamos demostrando leyes lgicas (tautologas),
para lo cual no se requiere partir de alguna premisa en Fitch.
Proposiciones
1. P (QP)
2. [R(QP)] [(RQ)(RP)]
3. (QP) {[R(QP)][(RQ)(RP)]}
4. {(QP)[R(QP)]} {(QP)[(RQ)(RP)]
5. (QP) [(RQ)(RP)]
6. [R(QP)] {R[(SQ)(SP)]}
7. [QP] {[S(RQ)][S(RP)]}
8. [S(QP)][Q(S P)]
9. (RQ) [(QP)(RP)]
10. {[T(SQ)]P} {[S(TQ)]P}
11. [(RQ)P] (QP)
12. {S[R(QP)]} {S[Q(RP)]}
13. {S[R(QP)]} {Q[S(R P)]}
14. T{S[R(QP)]} T{Q[S(RP)]}
15. T{S[R(QP)]} Q{T[S(RP)]}
16. T{S[R(QP)]} T{S[Q(RP)]}
17. {S[R(QP)]} {R[Q(SP)]}
18. [R(QP)] {(SR)[Q(SP)]}
19. [S(RQ)] {(QP)[S(RP)]}
20. {T[S(RQ)]} (QP){T[S(RP)]}
21. [(SQ)P]{(SR)[(RQ)P]}
22. UT{S[R(QP)]} UT{S[Q(RP)]}
23. {S[R(QP)]} (TS){R[Q(TP)]}
24. (RP) [R(QP)]
25. [S(RP)] {S[R(QP)]}
26. Q(PP)
27. PP
28. (QP) (PQ)
29. [R(QP)] [R(PQ)]
30. [Q(RP)] [R(PQ)]
31. PP*

32. [(QP)(PQ)] [(QP)(PQ)]

33. (QP) (PQ)
34. [R(QP)] [R(PQ)]
35. [R(QP)] [P(RQ)]
36. P(PQ)
37. [(RQ)P] (R P)
38. P (PQ)
39. (PP) (PQ)
40. Q [(PP) P]
41. PP*
42. (P P)*
43. (PP) P
44. (PR) [(RP)P)]
45. [(RP)(PR)] {(RP)[(RP)P]}
46. (RP) [(RP)P]
47. (RQ) {(QP)[(RP)P]}
48. [S(RQ)] {(QP)[(RP)(SP)]}
49. (RQ) {(RP)[(QP)P]}
50. (RP) {(QP)[(RQ)P]}
51. [S(RP)](QP){S[(RQ)P]}
Ejemplo. Proposicin 1.
(i)
De acuerdo con la definicin de Frege del condicional, P(QP) es equivalente a
[P(QP)]. Aplicando la misma definicin a QP, obtenemos (QP) que
podemos reemplazar en [P(QP)] obteniendo [P(QP)], lo que
equivale a (PQP).
(ii)
P
V
V
F
F
(iii)

Q
V
F
V
F

V
V
V
V

(Q

V
V
F
V

P)

V
V
V
V

V
V
V
V

(P

V
F
F
F

F
F
F
F

F
F
V
V

P)