Propositional and predicate logic

18 Setembro 2024, 14:00 • Ricardo Santos

Basic logical notions: argument; premisses and conclusion; truth and falsity; validity (and logical consequence); logical form. The language of propositional logic: propositional letters, logical connectives (negation, conjunction, disjunction, conditional and biconditional) and parenthesis. The meanings of the connectives given by truth tables. Rules of inference: double negation, De Morgan laws, disjunctive syllogism, modus ponens, modus tollens. The language of predicate logic: names and predicates; variables and quantifiers. The meanings of the quantifiers. Rules of inference: existential generalization and universal instantiation. Formalization of sentences and arguments.

---