display all the ideas for this combination of texts
1 idea
10987 | Three traditional names of rules are 'Simplification', 'Addition' and 'Disjunctive Syllogism' [Read] |
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'). | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |