L
~
What is the negation symbol.
Another word for a proposition
What is a statement?
a branch of formal, deductive logic in which the basic unit of thought is the proposition
What is propositional logic?
the proposition that follows the “if” in a conditional proposition
What is the antecendent?
a listing of the possible truth values for a set of one or more proprositions
What is a truth table?
v
What is the "or" symbol?
How a propositional constant is represented
What is an upper case letter?
a proposition with only one component
What is a simple proposition?
the proposition that folloiws the “then” in a conditional proposition
What is the consequent?
In the truth tables, the only two truth values a propositional variable can have
What is T and F?
.
What is the "and" symbol?
How a propositional variable is represented
What is a lower case letter?
a proposition with more than one component
What is a compound proposition?
a statement equivalent to p ) q
the 5 following are acceptable
If p then q
P implies q
P only if q
When p, q
P is sufficient for q
The only combination of truth values for p and q for which p . q is true
What is p = T and q=T
The name for the logical operator “not”
What is negation?
The name for the logical operator “or”
What is disjunction?
a word which combines or modifies simple propositions to make compound propositions
What is a logical operator?
the value of the biconditional operator when both component propositions have the same truth value
What is true?
The only combination of truth values for p and q for which p v q is false
What is p=F and q=F?
The name for the logical operator “and”
What is conjunction?
a proposition whose truth value depends on the truth value of its component parts
What is a truth-functional proposition?
Double Jeopardy
A logical operator that asserts that one component part (the antecendent) implies the other (the consequent)
What is ) ?
the value of the biconditional operator when both component propositions have different truth values
What is false?
Double Jeopardy
the translation of the biconditional
What is "If and only if"?