Single Idea 10987

[catalogued under 4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / c. Derivation rules of PL]

Full Idea

Three traditional names for rules are 'Simplification' (P from 'P and Q'), 'Addition' ('P or Q' from P), and 'Disjunctive Syllogism' (Q from 'P or Q' and 'not-P').

Gist of Idea

Three traditional names of rules are 'Simplification', 'Addition' and 'Disjunctive Syllogism'

Source

Stephen Read (Thinking About Logic [1995], Ch.2)

Book Reference

Read,Stephen: 'Thinking About Logic' [OUP 1995], p.59