Exercise logic.propositional.consequence
Description
Prove that formula is a logical consequence of a set of formulas
Derivation
Final term is not finishedq => F || ((p /\ q) <-> p)
Final term is not finishedFinal term is not finishedDescription
Prove that formula is a logical consequence of a set of formulas
Final term is not finished