First-order Logic
A set of formulas in first-order logic is consistent (written Con) if and only if there is no formula such that and . Otherwise is inconsistent and is written Inc.
is said to be simply consistent if and only if for no formula of, both and the negation of are theorems of .
is said to be absolutely consistent or Post consistent if and only if at least one formula of is not a theorem of .
is said to be maximally consistent if and only if for every formula, if Con then .
is said to contain witnesses if and only if for every formula of the form there exists a term such that . See First-order logic.
Read more about this topic: Consistency
Famous quotes containing the word logic:
“The American Constitution, one of the few modern political documents drawn up by men who were forced by the sternest circumstances to think out what they really had to face instead of chopping logic in a university classroom.”
—George Bernard Shaw (1856–1950)