Are you proposing something?
The branch of formal, deductive logic in which the basic unit of thought is the proposition.
What is propositional logic?
In a disjunction, assume the ∨ (or) is:
What is "inclusive?"
This symbol represents "if and only if."
What is an equal sign with three lines?
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 proposition with only one component part.
What is a simple proposition?
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 the premises are true, the conclusion must be true in this type of argument.
What is a valid argument?
What is a compound proposition?
What is needed in a series of 3 or more propositions to avoid ambiguity?
What is parentheses?
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 premises can be true and the conclusion false you have this kind of argument.
What is an invalid 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?
`A proposition that is false by logical structure.
What is self-contradiction?
In shorter truth tables, assume the argument is invalid, that the premises are true and the conclusion is ____________.
What is false?
The proposition that follows the "then" in a conditional proposition.
What is the consequent?
This logical operator is true when both component propositions have the same truth value.
What is biconditional?
This symbol asserts that one component (the antecedent) implies the other (consequent).
What is the horseshoe (or conditional)?
If two propositions have identical truth values in a truth table they are _____________.
What is logically equivalent?
In shorter truth tables, if there are no contradictions the argument is ________