Propositional vs. Predicate Logics
A predicate language over a propositional language S is a couple qS = (S,q) where q is the signature of qS, i.e. the function which divides descriptive terms D(q) of qS into syntactical categories. All predicate languages involve the sets V f and V b of free and bound individual variables, resp., connectives of S, and quantifiers ∀ ∃. The notions of a term, formula, and sentence of qS are defined in the usual way. A predicate language qS 0 over the propositional language S 0 = (S 0, →, Λ, V, ¬) is called basic.
KeywordsFree Variable Function Symbol Predicate Logic Relation Symbol Individual Constant
Unable to display preview. Download preview PDF.