LING 360 Study Guide - Final Guide: Free Variables And Bound Variables, Logical Connective, Lead

• School: McGill University
• Department: Linguistics
• Course: LING 360
• Professor: Brendan S.Gillon

Document Summary

Quantificational logic is predicate logic with the addition of two symbols: Set of two quantifiers (qc, or { , }) Lower case letters from the end of the roman alphabet. Categorematic synthesis tree of the formula ( xrxy px) Or scope of a logical connective whose immediate subformulas do not. The scope of an occurrence of a logical connective in a formula is the subformula of which contains the logical connective"s occurrence but. We can divide a formula of the form qv into two parts: The quantifier matrix (remainder of the formula): . So, the scope of (an occurrence of) a quantifier within a formula is the smallest subformula containing (the occurrence of) the quantifier. No formula contains an occurrence of a quantifier without a variable to its immediate right. Any variable that is not bound is free. The scope of a quantifier and the scope of a quantifier prefix are the same.