Propositional Logic
This is the branch of formal, deductive logic in which the basic unit of thought is the propostion.
What is Propositional Logic?
This symbol ~ is the logical operator that denies or contradicts a proposition.
What is a negation?
KEY POINT: This process STARTS with the standard values for the variables (or constants), then find the truth values for the negated variables (or constants).
What is completing a truth table?
This symbol ⊃ (if/then) asserts that one of the components implies the other. It is false if an only if the antecedent is true and the consequent is false.
What is the conditional?
This symbol represents the biconditional operator.
What is ≡?
This is a statement.
What is a proposition?
This is a listing of the possible truth values for a set of one or more propositions.
What is a truth table?
KEY POINT: You can complete the truth values for propositions within parentheses AFTER you do this step first.
What is "determining values for negations"?
The proposition following the if is called this.
What is the antecedent?
These are the words/phrase used to represent the biconditional.
What is "if and only if"?
This symbol · (and) is a logical operator that joins two propositions and is true if and only if both the propositions are true.
What is a conjunction?
KEY POINT: To finish the truth value for a compound proposition, you must find out the truth tables for all of its component parts and then do this.
What is "putting them together"?
The proposition following the then is called this.
What is the consequent?
The biconditional is _____ when both propositions have the same truth value.
What is true?
If a proposition has only one component part, is said to be this. Otherwise, it is compound.
What is a simple proposition?
The symbol v (or) is a logical operator that joins two propositions and is true if and only if one or both of the propositions is true.
What is a Disjunction?
You need this number of rows when you make a truth table for propositions that use only constants.
What is one row?
These are other names that a conditional may also be called.
What are hypothetical or material implication?
The biconditional is ______ when the propositions have different truth values.
What is false?
These are words that combine or modify simple propositions to make compound propositions.
What are logical operators?
This type of truth table displays the truth values produced by a logical operator modifying a minimum number of variables.
What is a "defining" truth table?
When making a truth table, this should be drawn under the variables.
What is a line?
This means that If p then q is is equivalent to If not q then not p.
What is the rule of transposition?
This is the logical equivalent to p ≡ q.
What is (p⊃q) · (q⊃p)