Satisfiability

• What Does Propositional Logic Entailment Mean?
  Propositional entailment means every valuation satisfying the premises also satisfies the conclusion; use truth tables or test Γ and not φ for consistency.