Combining Philosophers

Ideas for Lynch,MP/Glasgow,JM, M Fitting/R Mendelsohn and Rod Girle

expand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers

5 ideas

4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic
7786 Propositional logic handles negation, disjunction, conjunction; predicate logic adds quantifiers, predicates, relations [Girle]
7798 There are three axiom schemas for propositional logic [Girle]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / a. Symbols of PL
7799 Proposition logic has definitions for its three operators: or, and, and identical [Girle]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
7797 Axiom systems of logic contain axioms, inference rules, and definitions of proof and theorems [Girle]
4. Formal Logic / B. Propositional Logic PL / 3. Truth Tables
9738 Each line of a truth table is a model [Fitting/Mendelsohn]