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?
Show answer
P → Q; P; therefore Q- Identify the form: P → Q; P; therefore Q
Show answer
Modus ponens- What is modus tollens?
Show answer
P → Q; ¬Q; therefore ¬P- Identify the form: P → Q; ¬Q; therefore ¬P
Show answer
Modus tollens- What is disjunctive syllogism?
Show answer
P ∨ Q; ¬P; therefore Q- What is hypothetical syllogism?
Show answer
P → Q; Q → R; therefore P → R- Identify the form: P → Q; Q → R; therefore P → R
Show answer
Hypothetical syllogism- What is constructive dilemma?
Show answer
(P → Q) ∧ (R → S); P ∨ R; therefore Q ∨ S- Identify the form: (P → Q) ∧ (R → S); P ∨ R; therefore Q ∨ S
Show answer
Constructive dilemma- What is destructive dilemma?
Show answer
(P → Q) ∧ (R → S); ¬Q ∨ ¬S; therefore ¬P ∨ ¬R- Identify the form: (P → Q) ∧ (R → S); ¬Q ∨ ¬S; therefore ¬P ∨ ¬R
Show answer
Destructive dilemma- What is addition (disjunction introduction)?
Show answer
P; therefore P ∨ Q- Identify the form: P; therefore P ∨ Q
Show answer
Addition (disjunction introduction)- What is simplification (conjunction elimination)?
Show answer
P ∧ Q; therefore P- Identify the form: P ∧ Q; therefore P
Show answer
Simplification (conjunction elimination)
FlashKeepers