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

P

Initializing...

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