Definition
Symbols
Truth values (A,B,C =True) (XYZ =False)
Truth Tables
Argument forms
100

A connective which includes the phrase "if and only if"

What is a biconditional?

100

The symbol that stands for "and" in symbolic logic.

What is the dot? 

or 

What is the upside down v?

100

A⊃X

What is False

100

An argument which has only T's in its truth table's final column

What is a Tautology?

100

p ⊃ q

q ⊃ r

therefore p ⊃ r

What is hypothetical syllogism?

200

A compound proposition which joins the two parts with the word "and" which is symbolized by the dot or upside down v symbol.

What is a conjunction?

200

The type of statement represented by the one-sided arrow or the U that's lying on its side.

What is a conditional statement?

or

What is a hypothetical statement?

200

A • B

What is True

200

The symbol for a  _______ is defined by this truth table

p    q  p∙q

T    T   T 

T    F    F

F    T    F

F    F    F


What is a conjunction?

200

p ⊃ q

p

therefore q

What is modus ponens? 

300

An argument which has only F's in its truth table's final column

What is a contradiction?

300

This symbol reverses the truth value of any statement.

What is the tilde? 

or 

What is the L that's lying on its side?

300

X v Y

What is False?
300

This truth table defines the symbol for _________

p    ∼p

T      F

F      T


What is a negation?

300

 p v q

∼ q

therefore p


What is disjunctive syllogism?

400

A compound proposition which joins the two parts with the word "or" which is symbolized by the v

What is a disjunction?

400

The symbol that stands for "or" in compound statements.

What is the v?

400

 (X ⊃ C) v X

What is True?

400

This truth table defines the symbol for a __________.

p    q    p⊃q

T    T     T

T    F     F

F    T     T

F    F     T


What is a conditional statement?

400

p ⊃ q

∼ q

therefore ∼ p

What is modus tollens?

500

The only punctuation used in symbolic logic.

What is parentheses?

500

The symbol which stands for "if and only if."

What is =?

500

(C • B) • (X v Y)

What is False?

500

This truth table defines this kind of statement.

p    q    p∨q

T    T     T

T    F     T

F    T     T

F    F     F


What is a disjunction?

500

(A v ∼Y) ⊃ (C • B)

(A v ∼Y)

therefore (C • B)

What is modus ponens?

Click to zoom
M
e
n
u