1.Previous
3.Next

of the predicate , respectively, if and only if the pair is a member of the extension of , in truth-value semantics the truth-values of atomic formulas are basic. A universal (existential) formula is true if and only if all (some) ground substitution instances of the unquantified subformula are true. Compare this with the standard semantics, which says that a universal (existential) formula is true if and only if for all (some) members of the domain, the formula holds for all (some) of them; for example,

1.Previous
3.Next