Exercise logic.propositional.consequence
Description
Prove that formula is a logical consequence of a set of formulas
All applications
Rule command.sort Location [0,0] Rule fakeabsorption Location [0,0] Rule introfalseleft Location [0,0] Rule introfalseleft Location [0,0,0] Rule introfalseleft Location [0,0,0,0] Rule introfalseleft Location [0,0,0,0,0] Rule introfalseleft Location [0,0,0,1] Rule introfalseleft Location [0,0,1] Rule introfalseleft Location [1] Rule logic.propositional.andoveror Location [0,0]