Are you proposing something?
A proposition with only one component part.
What is a simple proposition?
A proposition whose truth value depends on the truth value of its component parts.
What is a truth-functional proposition?
This symbol represents "if and only if."
What is an equal sign with three lines?
This is a statement; a sentence with a truth value.
What is a proposition?
If premises can be true and the conclusion false you have this kind of argument.
What is an invalid argument?
The proposition that follows the "then" in a conditional proposition.
What is the consequent?
A listing of the possible truth values for a set of one or more propositions.
What is a truth table?
This symbol denies or contradicts a proposition.
What is a tilde? (~)
This is an uppercase letter that represents a single, given proposition.
What is a propositional constant?
If only one row of a truth table has true premises and a false conclusion the whole argument is this.
What is invalid?
What is a compound proposition?
A truth table that completely defines its operations on a minimum number of variables.
What is a defining truth table?
This symbol joins two propositions and is false if and only if both propositions are false.
What is "v"?
This is a proposition that is always true due to its logical structure.
What is tautology?
If the premises are true, the conclusion must be true in this type of argument.
What is a valid argument?
The proposition that follows the "if" in a conditional propostition.
What is the antecedent?
If two propositions have identical truth values they are....
What is logically equivalent?
This symbol joins two propositions and is true if and only if both propositions are true.
What is a dot?
This is a lowercase letter that represents any proposition.
What is a propositional variable?
This symbol is used in front of the conclusion when using truth tables to test for validity.
What is the three dot triangle?
A set of propositions which CAN all be true at the same time.
What are consistent propositions?
This number of steps is required to find truth values for compound propositions.
What is four steps?
This symbol asserts that one component implies the other.
What is the sideways horseshoe?
This is false if and only if if the antecedent is true and the consequent is false.
What is the conditional?
These are the three methods for testing validity.
What are: Truth Table, Shorter Truth Table, and Assumed Value in Shorter Truth Table?