operators
'not'
L.O. that denies a proposition
Negation
I am a statement
Proposition
I am a set of proposition which CAN all be true at the same time.
Consistent proposition
I am an extended Modus Polen (affirms the antecedent)
p > q p : q
Constructive Dilemma
'and'
L.O. that joins 2 propositions
TRUE only if both prop. are true
Conjunction
I am the proposition that follows the "IF" in a conditional proposition
Antecedent
I am two propositions are logically equivalent if and only if they have identical truth values
I am an extended Modus Tolen(denies the consequents)
p > q ~q : ~p
destructive dilemma
"If...then..."
L.O. that asserts that one part implies the other. False only when Ant. is TRUE and Cons. is FALSE.
Conditional
BONUS
BONUS
I am a proposition that is always true due to its logical structure
Tautology
I provide a third alternative to a dilemma (deny the disjunctive premise)
Go between the Horns
"or"
L.O. joins 2 propositions. FALSE only when they are both FALSE
Disjunction
I am the proposition that follows the "then" in a conditional proposition
Consequent
If my premises are TRUE and my Conclusion is FALSE, what am I?
Invalid argument
I reject at least one of the 2 conditionals in the conjunctive premise of the dilemma.
Grasp the horns
"if and only if"
L.O. that is equivalent to the conjunction of a conditional and its converse: TRUE only when both have same truth value
Biconditional
Words which combine or modify simple proposition to make compound propositions
I am a valid argument which presents a choice between 2 conditionals
Dilemma
I construct a counter dilemma using the same or similar components as the original dilemma. I don't deny the facts of the dilemma, just focus on a better conclusion
Rebut the Horns