Copyright

if g is satisfiable, is it consistent?

Question:

If {eq}g {/eq} is satisfiable, is it consistent?

Consistent System of Equations:

In the logic theory, it is good that we understand the difference between the satisfiable and consistent. Now n the propositional logic, they two are equivalent, to by that we mean a satisfiable theory is consistent, and a consistent theory is satisfiable.

Answer and Explanation:


As we know that satisfiability is a semantic property and Consistency is a syntactic property So, yes if g is satisfiable then it is consistent.


Learn more about this topic:

Loading...
Consistent System of Equations: Definition & Examples

from High School Algebra II: Homework Help Resource

Chapter 8 / Lesson 8
20K

Related to this Question

Explore our homework questions and answers library