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