Are you proposing something?
The proposition that follows the "then" in a conditional proposition.
What is the consequent?
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?
A set of propositions which CAN all be true at the same time.
What are consistent propositions?
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?
The proposition that follows the "if" in a conditional proposition.
What is the antecedent?
If two propositions have identical truth values they are....
What is logically equivalent?
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?
A proposition with more than one component part or a modified (negated) part. (MUST have at least one logical operator).
What is a compound proposition?
When testing for logical equivalence, this is the logical operator we use.
What is a biconditional?
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 means "therefore" and symbolizes the end of the argument.
What is the three dot triangle? (∴)
~ q ⸧ p
What is p unless q?
If the biconditional of two statements is this, then the statements are contradictory.
What is a self-contradiction?
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?
This is the tool we use to find validity, where we assume the premises to be true and the conclusion to be false.
What is the shorter truth table?