Logical Operators
What symbol represents negation and what does it mean?
a tilde - denies or contradicts the proposition
When is a conditional proposition true?
T > T
F>T
F>F
What is logic?
the art and science of reasoning well
a branch of formal, deductive logic in which the basic unit of thought is the proposition
What is propositional logic?
if and only if two propositions have identical truth values in a truth table, the propositions are
What is the symbol for conjunction, and what does it mean?
a "dot" - joins two propositions
When is a disjunction proposition true?
TvT
TvF
FvTa statement
what is a proposition?
a lowercase letter that represents any proposition
What is a propositional variable?
a proposition that is always true due to its logical structure
What is a tautology?
What is the symbol for disjunction and what does it mean?
a V - means "or"
When is a conjunction proposition true?
T*T
when it's truth value depends upon the truth values of its component parts, a proposition is...
truth-functional
the proposition following the "if" in a conditional proposition
What is the antecedent?
a proposition that is false by logical structure
What is self-contradiction?
What is the symbol for conditional and what does it mean?
a sideways horseshoe - means one proposition implies the other
When is a biconditional proposition true?
T=T
F=F
a listing of the possible truth values for a set of one or more propositions
What is a truth table?
an uppercase letter that represents a single, given proposition
What is a propositional constant?
if the premises are true, the conclusion must be true, so the proposition is...
What is valid?
What is the symbol for biconditional and what does it mean?
3 lines - means "if and only if"
When is a conditional proposition false?
T>F
the equivalence of "if p then q" to "if not q then not p" is called...
What is the rule of transposition?
the proposition following the "when" in a conditional proposition
What is the consequent?
the number of lines in a truth table for a proposition with 4 variables
What is sixteen?