Propositional logic: more examples

From Automated Assistance for Formal Reasoning

Assume P.

Assume Q.

Assert P and Q.

Assert P implies P and Q.

Assume a and b implies c.

Assume a.

Assume b.

Assert a and b.

Assert c.

Assert b implies c.

Assert a implies b implies c.