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

P

Initializing...

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