Sentential Vs. Predicate Logic

Sentential Logic Predicate Logic Represents Atomic sentences using letters and All sentences in terms of compound sentences using letters for noun phrases and verb atomic sentences and truth functional phrases (predicates). sentence connectives. Represents The relationship between atomic The internal structure of sentences and compound sentences. individual claims, including class inclusion statements. Given The truth values of atomic sentences. Names for objects, classes (general terms), predicates, properties, and determiners. Given Sentential connectives related to Sentential connectives those used in English. related to those used in English. Allows us to Represent compound sentences in Represent atomic and terms of atomic sentences connected compound sentences in by sentential connectives. terms of the tools of predicate logic (noun phrases, names, and predicate variables). Allows us to Deduce the truth value of compound Represents the attribution of sentences, given the truth values of its properties to objects and atomic sentences. quantities of objects, as well as to deduce the truth value of compound sentences, given the truth values of its atomic sentences.. Allows us to Identify the logical properties of Identify the logical properties compound sentences (tautological, of atomic and compound contingent, contradictory). sentences (tautological, contingent, contradictory).. Allows us to Determine the relationship between Determine the relationship pairs of compound sentences between pairs of atomic and (satisfiability, contradiction, compound sentences implication, equivalence). (satisfiability, contradiction, implication, equivalence). Determine whether an argument Determine whether any constructed of compound sentences argument captured in is valid. predicate logic is valid.