Free Models and Logic Programming
Part of the Undergraduate Texts in Mathematics book series (UTM)
In general, the following statement is false:
(*) If Φ ⊢ ∃xφ then there is a term t with Φ ⊢ φ t/x.
KeywordsLogic Program Logic Programming Propositional Logic Conjunctive Normal Form Propositional Variable
Unable to display preview. Download preview PDF.
© Springer Science+Business Media New York 1994