Intermediate Logic Week 24

So Symbolic

100

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

What is a dot?

200

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

What is "v"?

300

This symbol denies or contradicts a proposition.

What is a tilde? (~)

400

This symbol represents "if and only if."

What is an equal sign with three lines?

500

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

What is the horseshoe (or conditional)?

What Are You Inferring?

100

This represents which Rule of Inference?

P • Q

∴ P

What is Simplification?

200

This represents which Rule of Inference?

P ⊃ Q

~ Q

 ∴ ~ P 

What is Modus Tollens? 

300

This represents which Rule of Inference?

P 

∴ P ∨ Q

What is Addition? 

400

This represents which Rule of Inference?

P ⊃ Q 

∴ P ⊃ (P • Q)

What is Absorption?

500

This represents which Rule of Inference?

P ∨ Q

~ P

 ∴ Q

What is Disjunctive Syllogism? 

Are You Proposing Something?

100

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

What is the consequent?

200

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

What is the antecedent?

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?

400

A proposition with only one component part.

What is a simple proposition?

500

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

What is Propositional Logic?

Name That Rule

100

This represents which Rule of Replacement?

~ ~ P becomes P

What is Double Negation?

200

This represents which Rule of Replacement?

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

What is Distribution?

300

This represents which Rule of Replacement?

~ (P • Q) becomes

~P ∨ ~Q

What is De Morgan's Theorem?

400

This represents which Rule of Replacement?

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

 What is Material Implication?

500

This represents which Rule of Replacement?

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

What is De Morgan's Theorem? 

Modus Madness

100

This represents which Rule of Inference?

P ⊃ Q 

P

 ∴ Q

What is Modus Ponens? 

200

This represents which Rule of Inference? 

P ⊃ Q

Q ⊃ R

 ∴ P ⊃ R 

What is Hypothetical Syllogism?

300

This represents which Rule of Inference?

P

Q

∴ P • Q

What is Conjunction? 

400

This represents which Rule of Inference?

(P ⊃ Q) • (R ⊃ S)

P ∨ R

∴ Q ∨ S

What is Constructive Dilemma?

500

This represents which Rule of Inference? 

P ⊃ Q 

∴ P ⊃ (P • Q)

What is Absorption?