Tag Archives: Inductive Logic

Sentential Logic Practice: Assessing Some Proofs

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