A collection of formulas is consistent if: ?
- Not only each and every formula in the collection is satisfiable.
- It is possible to find a truth table assignment with the propositional variables in them that make all of the formulas true at the same time.