Definition
Consistent Formula
A formula is consistent if it is satisfiable.
Equivalently, a formula is consistent if it has at least one model.
A formula is consistent exactly when it is not a contradiction.
Consistent Formula
A formula is consistent if it is satisfiable.
Equivalently, a formula is consistent if it has at least one model.
A formula is consistent exactly when it is not a contradiction.