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

P

Initializing...

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