PHIL 012 Lecture Notes - Lecture 31: Free Variables And Bound Variables, If And Only If, Paq
Document Summary
Names: lower case letters a - v with or without numerical subscripts. N-place predicates: upper case letters a - z with or without numerical subscripts. Variables: lower case letters w - z with or without numerical subscripts. Syntax of predicated logic (relational logic or rl) Pxb ( x)pxb ( x)pxb ( x)pxx ( x)px. Raa paa not a wff; r should only be a 1-place predicate wff not a wff; p is a 2-place predicate wff wff wff wff. Bound variable - a variable is bound iff it is in the scope of a quantifier that quantifies for that variable. Open formula - a formula is open if it is a wff and there is at least one free x is a bound variable, y is a free variable a is a free variable. Closed formula - a formula that is a wff and does not have free variables.
