Return to SmartTutor selection page Core 5 - Formal Logic Return to Learning Center home page
Tell us what you think about this tutorial! Take the survey.

LOGIC MAIN PAGE

LOGICAL OPERATORS

Sample sentences
AND operator
IF/THEN operator
NOT operator
OR operator
XOR operator

RULES OF LOGIC

Chain Rule
Conjunctive Addition
Contrapositive
DeMorgan's Law
Disjunctive Addition
Disjunctive Inference
Disjunctive Infer. (XOR)
Double Negation
Modus Ponens
Modus Tollens
Mutual Exclusion
Simplification

VALIDITY PROOFS

2-step
3-step
4-step
5-step or more
Bad Argument

RULES OF LOGIC - Choose from the Following:

Chain Rule
Conjunctive Addition
Contrapositive
DeMorgan's Law
Disjunctive Addition
Disjunctive Inference
Disjunctive Infer. (XOR)
Double Negation
Modus Ponens
Modus Tollens
Mutual Exclusion
Simplification