Logical Operator Symbols
What is the symbol for negation?
What is the English translation of negation?
not
When is a negation true?
When its premise is false.
Which variable is the major premise?
The first in the proposition.
How many rows will a truth table for two variables contain?
Four rows.
What is the symbol for conjunction?
a dot
What is the English translation of conjunction?
and
When is a conjunction true?
Only when both premises are true.
Which variable is the minor premise?
The second in the proposition.
For every new variable (3+), how many rows do you add to the truth table?
Double the number of rows for every new variable. (3 = 8, 4 = 16...)
What is the symbol for disjunction?
a vee (v)
What is the English translation of disjunction?
or
When is a disjunction false?
Only when both premises are false.
In the proposition "p v q", which variable is the antecedent?
The first variable.
What does the truth table for the first variable (P) in a proposition look like?
Always starts with T and contains half T's and half F's.
What is the symbol for a conditional?
a horseshoe
What is the English translation for conditional?
if/then
When is a conditional false?
Only when the premises are in the order T - F.
In the proposition "r ) s", what is the second variable called?
The consequent.
What does the truth table for the second variable (Q) in a proposition look like?
Always starts with T, has 1/4 T, then 1/4 F, then 1/4 T, then 1/4 F.
What is the symbol for a biconditional?
three stacked lines
What is the English translation for biconditional?
if and only if
When is a biconditional true?
Only when both premises match.
What is the last variable in the proposition called?
The conclusion.
What does the truth table for the third variable (R) of a proposition look like?
Always starts with T and alternates between T and F.