Show:
So Symbolic
What Are You Inferring?
Are You Proposing Something?
Name That Rule
Modus Madness
100

This symbol joins two propositions and is true if and only if both propositions are true.

What is a dot?

100

This represents which Rule of Inference?

P • Q

∴ P

What is Simplification?

100

The proposition that follows the "then" in a conditional proposition.

What is the consequent?

100

This represents which Rule of Replacement?

~ ~ P becomes P


What is Double Negation?

100

This represents which Rule of Inference?

P ⊃ Q 

P

 ∴ Q

What is Modus Ponens? 

200

This symbol joins two propositions and is false if and only if both propositions are false. 

What is "v"?

200

This represents which Rule of Inference?

P ⊃ Q

~ Q

 ∴ ~ P 

What is Modus Tollens? 

200

The proposition that follows the "if" in a conditional propostition.

What is the antecedent?

200

This represents which Rule of Replacement?

P ∨ (Q • R) becomes (P ∨ Q) • (P ∨ R)


What is Distribution?

200

This represents which Rule of Inference? 

P ⊃ Q

Q ⊃ R

 ∴ P ⊃ R 

What is Hypothetical Syllogism?

300

This symbol denies or contradicts a proposition.

What is a tilde? (~)

300

This represents which Rule of Inference?

P 

∴ P ∨ Q


What is Addition? 

300
A proposition with more than one component part or a modified (negated) part. (MUST have at least one logical operator).

What is a compound proposition?

300

This represents which Rule of Replacement?

~ (P • Q) becomes

~P ∨ ~Q


What is De Morgan's Theorem?

300

This represents which Rule of Inference?

P

Q

∴ P • Q

What is Conjunction? 

400

This symbol represents "if and only if."

What is an equal sign with three lines?

400

This represents which Rule of Inference?

P ⊃ Q 

∴ P ⊃ (P • Q)



What is Absorption?

400

A proposition with only one component part.

What is a simple proposition?

400

This represents which Rule of Replacement?

(P ⊃ Q) becomes (~P ∨ Q)


 What is Material Implication?

400

This represents which Rule of Inference?

(P ⊃ Q) • (R ⊃ S)

P ∨ R

∴ Q ∨ S

What is Constructive Dilemma?

500

This symbol asserts that one component (the antecedent) implies the other (consequent).  

What is the horseshoe (or conditional)?

500

This represents which Rule of Inference?

P ∨ Q

~ P

 ∴ Q

What is Disjunctive Syllogism? 

500

The branch of formal, deductive logic in which the basic unit of thought is the proposition.

What is Propositional Logic?

500

This represents which Rule of Replacement?

~ (P ∨ Q) becomes (~P • ~Q).


What is De Morgan's Theorem? 

500

This represents which Rule of Inference? 

P ⊃ Q 

∴ P ⊃ (P • Q)

What is Absorption?