All pastes #81122 Raw Edit

Something

public text v1 · immutable
·published 2006-07-07 04:31 UTC
rendered paste body
1.f) (P->Q) & (Q->R) |- (PvQ)-R
1       (1) (P->Q) & (Q->R)     A
2       (2) (PvQ)               A
2       (3) P                   A
2       (4) Q                   A
1       (5) P->Q                &E
1       (6) Q->R                &E
1       (7) Q                   5,3 MPP
1       (8) R                   6,7 MPP
1       (9) R                   6,4 MPP
1       (10) R                  8,9,3,4,2 vE
1       (9) (PvQ)->R            2,10 CP