Start free trial
Take Naologic for a spin today, no credit card needed and no obligations.
Start free trial

Satisfiability - How do you check satisfiability in logic?


Each truth assignment is used to assess every phrase in Δ in order to ensure satisfiability in logic. That truth assignment does not satisfy Δ if any sentence yields a value of 0. When a truth assignment that satisfies all conditions is found, we say that Δ is satisfiable. Unsatisfiability of Δ is determined if no truth assignment is discovered that satisfies.