1(1) (Ax)(Fx -> (Ay)Rxy) Pr.
2(2) ~Rab Pr.
1(3) Fa -> (Ay)Ray 1EA
4(4) Fa As.
1,4(5) (Ay)Ray 3,4E->
1,4(6) Rab 5EA
1,2,4(7) ^ 2,6E~
1,2(8) ~Fa 4,7I~
-
Recent Comments
Some of my stuff (2)… on My stuff the mad hatter on Despre the mad hatter on Resurse online Ana-Maria on Resurse online the mad hatter on Teorema demonstrata (Neg.… -
