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

P

Initializing...

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