One Philosopher's Digital Archive
1.) A&B, B > (D&E), derive B > E (A&B) B (D&E) E B > E
2.) S > (Q&R), S, derive R S (Q&R) R
Continue reading →