Exercise logic.propositional.consequence
Description
Prove that formula is a logical consequence of a set of formulas
All applications
Rule absorpand-subset Location [1,0] Rule command.sort Location [1,0] Rule command.sort Location [1,0,1] Rule commor.sort Location [1] Rule compland.sort Location [1,0] Rule introfalseleft Location [0,0] Rule introfalseleft Location [1] Rule introfalseleft Location [1,0] Rule introfalseleft Location [1,0,0] Rule introfalseleft Location [1,0,1] Rule introfalseleft Location [1,0,1,0] Rule introfalseleft Location [1,0,1,1] Rule introfalseleft Location [1,1] Rule introfalseleft Location [1,1,0] Rule logic.propositional.genoroverand Location [1] Rule logic.propositional.oroverand Location [1] Rule logic.propositional.oroverand Location [1]