Combining Philosophers

Ideas for Eubulides, Correia,F/Schnieder,B and Rod Girle

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

display all the ideas for this combination of philosophers

---

4 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]