Named valid argument forms such as modus ponens and modus tollens, with a symbolic example of each.
28 cards · basic cards · AI-written, checked twice. Edit anything.
- What is modus ponens?
- P → Q; P; therefore Q
- Identify the form: P → Q; P; therefore Q
- Modus ponens
- What is modus tollens?
- P → Q; ¬Q; therefore ¬P
- Identify the form: P → Q; ¬Q; therefore ¬P
- Modus tollens
- What is disjunctive syllogism?
- P ∨ Q; ¬P; therefore Q
- What is hypothetical syllogism?
- P → Q; Q → R; therefore P → R
- Identify the form: P → Q; Q → R; therefore P → R
- Hypothetical syllogism
- What is constructive dilemma?
- (P → Q) ∧ (R → S); P ∨ R; therefore Q ∨ S
- Identify the form: (P → Q) ∧ (R → S); P ∨ R; therefore Q ∨ S
- Constructive dilemma
- What is destructive dilemma?
- (P → Q) ∧ (R → S); ¬Q ∨ ¬S; therefore ¬P ∨ ¬R
- Identify the form: (P → Q) ∧ (R → S); ¬Q ∨ ¬S; therefore ¬P ∨ ¬R
- Destructive dilemma
- What is addition (disjunction introduction)?
- P; therefore P ∨ Q
- Identify the form: P; therefore P ∨ Q
- Addition (disjunction introduction)
- What is simplification (conjunction elimination)?
- P ∧ Q; therefore P
- Identify the form: P ∧ Q; therefore P
- Simplification (conjunction elimination)
FlashKeepers