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

P

Initializing...

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