Exercise logic.propositional.consequence
Description
Prove that formula is a logical consequence of a set of formulas
Derivation
![](http://ideas.cs.uu.nl/images/external.png)
(p -> q) /\ ~q => ~p
⇒ logic.propositional.defimpl(~p || q) /\ ~q => ~p
⇒ fakeabsorptionnot~p /\ ~q => ~p
⇒ conj-elim~p => ~p