Definition
Symbols
Truth values (A,B,C =T) (XYZ =F)
Truth Tables
Miscellaneous
100
A statement that does not contain any other statement as a component
What is a Simple Statement
100
This symbol stands for "and" in symbolic logic.
What is the dot?
100

A⊃X

What is False
100
An array on which all possible truth values of compound statements are displayed, through the display of all possible combinations of the truth values of their simple components.
What is a Truth Table
100
A formal characteristic of an argument defined as an argument form when the premises if they were true would provide conclusive grounds for its conclusion.
What is validity?
200
A truth-functional connective meaning "and" and symbolized by the dot symbol.
What is a conjunction?
200
_________ is represented by the horseshoe.
What is a conditional 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
The simple statement that appears after the "if" in a conditional statement.
What is the antecedent? 
300
Any component of a compound statement whose replacement there by any other statement having the same truth value would leave the truth value of the compound statement unchanged.
What is a truth-functional component?
300
This symbol reverses the truth value of any simple statement.
What is the tilde or curl?
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

If A,B,C are True and X,Y,Z is false the truth value of this formula

(C ⊃ X) V ∼[(A • B) ⊃ ∼ (X ⊃ A)]

What is True?
400
A truth-functional connective meaning "or"
What is a disjunction?
400
This symbol stands for "or" in compound statements.
What is the wedge?
400

[(A v X) • (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
The simple statements on either side of the wedge symbol.
What are disjuncts?
500
The parenthesis, brackets, and braces used in mathematics and logic to eliminate ambiguity.
What is punctuation?
500

  In the conjunction p•q p and q are identified as 

What are conjuncts?
500

[(A ⊃ ∼Y) V (C • B)] • ∼(X ⊃ 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
The simple statements on either side of the dot symbol.
What are conjuncts?
M
e
n
u