We now turn to the second of the logical languages we will examine: predicate logic. In it we will be able to analyze arguments such as (5–1) and (5–2) as well as all the arguments of the statement calculus.
KeywordsPredicate Logic Universal Quantifier Natural Deduction English Sentence Existential Quantifier
Unable to display preview. Download preview PDF.