PHIL 210 Study Guide - Final Guide: Atomic Sentence, Logical Consequence, Arity
Document Summary
Atomic sentences most basic sentences of fol; formed by a predicated of arity n, followed by n terms. Complex sentences not atomic, these sentences are formed when atomic sentences are combined with truth-functional connectives. Completeness theorem if a sentence s is a tautological consequence of p1,, Pn, then p1,, pn can be used to prove s. This also gives a method for showing that an argument has a proof without actually having to find such a proof. Deductive system a collection of rules and a specification of the ways they can be used to construct formal proofs. Demorgan"s laws: the negation of a conjunction is logically equivalent to the disjunction of the negations of the original conjuncts, the negation of a disjunction is equivalent to the conjunction of the negations of the original disjuncts. Determiners phrases which combine with common nouns to form quantified noun phrases.
