more on this theme | more from this thinker | more from this text
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 Ref
Read,Stephen: 'Thinking About Logic' [OUP 1995], p.59