Recent content by DragonPoopa

1. ((N ⊃ P) ⊃ (I ⊃ P)) ⊃ ((P ⊃ I) ⊃ P) P 2. (I v X) ≡ (R ⊃ P) P 3. R ⊃ (I ⊃ (N ^ V)) P 4. R A 5. Reiteration of 3 6. I ⊃ (N ^ V) 3,4 ⊃E 7. I A 8. I v X 7, vI 9. Reiteration of 2...