Lessons 10-12
When we say two propositions are this, we simply mean that they can be true at the same time
what is consistent?
The argument that takes the form below:
(psupq)*(rsups) ...~qvee~s:.~pvee~r
What is a destructive dilemma?
If you get a contradiction when assuming that two or more propositions are all true, then you should conclude this
What is they are inconsistent?
The argument with the form below:
(psupq)*(rsups) ...pveer:.qvees
What is a constructive dilemma?
To test for equivalence using the shorter truth tables, we begin by assuming this
What is they are not logically equivalent?
In this rebuttal of a dilemma, you reject one of the conditionals
What is grasping it by the horns?
If, when working through the shorter truth tables, a contradiction is unavoidable, you should conclude this
What is the propositions are equivalent?
In this rebuttal of a dilemma, you present a counter-dilemma
What is rebutting the horns?
A valid argument which presents a choice between two conditionals
What is a dilemma?
In this rebuttal of a dilemma, you deny the disjunctive premise and provide a third alternative, somewhere in the middle
What is going between the horns?