introductory philosphy logic quiz

Modus Tollens

A valid argument form that states if “P then Q” and “not Q” then “not P”.

Modus Ponens

A valid argument form that states if “P then Q” and “P” is true, then “Q” must also be true.

Hypothetical Syllogism

A valid argument form that states if “P then Q” and if “Q then R” therefore if “P then R”

Conjunction Introduction

a valid argument form that states “P” and “Q” therefore “P and Q”

conjunction elimination

a valid argument form that states “P and Q” therefore “P”

double negation

a valid argument form that states “Not not P” therefore “P”

Disjunctive Syllogism

a valid argument form that states “P or Q” and “Not P” therefore “Q”

logically valid

the logical form of the argument gives that if the premises are true, the conclusion must be true

factually correct

the premises of an argument are all true

sound

an argument is logically valid and factually correct