PM ✱5·3: $((p \land q) \supset r) \equiv ((p \land q) \supset (p \land r))$ · Prove2Me

P

Initializing...

PM ✱5·3: $((p \land q) \supset r) \equiv ((p \land q) \supset (p \land r))$ · Prove2Me