Int.Logic

operators

100

'not'

L.O. that denies a proposition

Negation

200

'and'

L.O. that joins 2 propositions

TRUE only if both prop. are true

Conjunction

300

"If...then..."

L.O. that asserts that one part implies the other. False only when Ant. is TRUE and Cons. is FALSE.

Conditional

400

"or"

L.O. joins 2 propositions. FALSE only when they are both FALSE

Disjunction

500

"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

Parts

100

I am a statement

Proposition

200

I am the proposition that follows the "IF" in a conditional proposition

Antecedent

300

BONUS

BONUS

400

I am the proposition that follows the "then" in a conditional proposition

Consequent

500

Words which combine or modify simple proposition to make compound propositions

Logical Operators

Definitions

100

I am a set of proposition which CAN all be true at the same time.

Consistent proposition

200

I am two propositions are logically equivalent if and only if they have identical truth values

Logical equivalence

300

I am a proposition that is always true due to its logical structure

Tautology

400

If my premises are TRUE and my Conclusion is FALSE, what am I?

Invalid argument

500

I am a valid argument which presents a choice between 2 conditionals

Dilemma

Dilemma

100

I am an extended Modus Polen (affirms the antecedent)

p > q    p  : q

Constructive Dilemma

200

I am an extended Modus Tolen(denies the consequents)

p > q    ~q  : ~p

destructive dilemma

300

I provide a third alternative to a dilemma (deny the disjunctive premise)

Go between the Horns

400

I reject at least one of the 2 conditionals in the conjunctive premise of the dilemma.

Grasp the horns

500

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