2.1 Statements and Quantifiers
- Logical statements have the form of a complete sentence and make claims that can be identified as true or false.
- Logical statements are represented symbolically using a lowercase letter.
- The negation of a logical statement has the opposite truth value of the original statement.
- Be able to
- Determine whether a sentence represents a logical statement.
- Write and translate logical statements between words and symbols.
- Negate logical statements, including logical statements containing quantifiers of all, some, and none.
2.2 Compound Statements
- Logical connectives are used to form compound logical statements by using words such as and, or, and if …, then.
- A conjunction is a compound logical statement formed by combining two statements with the words “and” or “but.” If the two independent clauses are represented by and , respectively, then the conjunction is written symbolically as . For the conjunction to be true, both and must be true.
- A disjunction joins two logical statements with the or connective. In, logic or is inclusive. For an or statement to be true at least one statement must be true, but both may also be true.
- A conditional statement has the form if , then , where and are logical statements. The only time the conditional statement is false is when is true, and is false.
- The biconditional statement is formed using the connective for the biconditional statement to be true, the true values of and , must match. If is true then must be true, if is false, then must be false.
- Translate compound statements between words and symbolic form.
Connective Symbol Name and
conjunction or disjunction, inclusive or not ~ negation if , then implies conditional, implication if and only if biconditional
- The dominance of connectives explains the order in which compound logical statements containing multiple connectives should be interpreted.
- The dominance of connectives should be applied in the following order
- Disjunctions/Conjunctions, left to right
2.3 Constructing Truth Tables
- Determine the true values of logical statements involving negations, conjunctions, and disjunctions.
- The negation of a logical statement has the opposite true value of the original statement.
- A conjunction is true when both and are true, otherwise it is false.
- A disjunction is false when both and are false, otherwise it is true.
- Know how to construct a truth table involving negations, conjunctions, and disjunctions and apply the dominance of connectives to determine the truth value of a compound logical statement containing, negations, conjunctions, and disjunctions.
Negation Conjunction (AND) Disjunction (OR) T F T T T T T T F T T F F T F T F T F F T T F F F F F F
- A logical statement is valid if it is always true. Know how to construct a truth table for a compound statement and use it to determine the validity of compound statements involving negations, conjunctions, and disjunctions.
2.4 Truth Tables for the Conditional and Biconditional
- The conditional statement, if then , is like a contract. The only time it is false is when the contract has been broken. That is, when is true, and is false.
Conditional T T T T F F F T T F F T
- The biconditional statement, if and only if , it true whenever and have matching true values, otherwise it is false.
Biconditional T T T T F F F T F F F T
- Know how to construct truth tables involving conditional and biconditional statements.
- Use truth tables to analyze conditional and biconditional statements and determine their validity.
2.5 Equivalent Statements
- Two statements and are logically equivalent if the biconditional statement, is a valid argument. That is, the last column of the truth table consists of only true values. In other words, is a tautology. Symbolically, is logically equivalent to is written as:
- A logical statement is a tautology if it is always true.
- To be valid a local argument must be a tautology. It must always be true.
- Know the variations of the conditional statement, be able to determine their truth values and compose statements with them.
- The converse of a conditional statement, if then , is the statement formed by interchanging the hypothesis and conclusion. It is the statement if then .
- The inverse of a conditional statement if formed by negating the hypothesis and the conclusion of the conditional statement.
- The contrapositive negates and interchanges the hypothesis and the conclusion.
Conditional Contrapositive Converse Inverse T T F F T T T T T F F T F F T T F T T F T T F F F F T T T T T T
- The conditional statement is logically equivalent to the contrapositive.
- The converse is logically equivalent to the inverse.
- Know how to construct and use truth tables to determine whether statements are logically equivalent.
2.6 De Morgan’s Laws
- De Morgan’s Law for the negation of a disjunction states that, is logically equivalent to
- De Morgan’s Law The negation of a conjunction states that,
- Use De Morgan’s Laws to negate conjunctions and disjunctions.
- The negation of a conditional statement, if then is logically equivalent to the statement and not . Use this property to write the negation of conditional statements.
- Use truth tables to evaluate De Morgan’s Laws.
2.7 Logical Arguments
- A logical argument uses a series of facts or premises to justify a conclusion or claim. It is valid if its conclusion follows from the premises, and it is sound if it is valid, and all of its premises are true.
- The law of detachment is a valid form of a conditional argument that asserts that if both the conditional, is true and the hypothesis, is true, then the conclusion must also be true.
Law of Detachment Premise: Premise: Conclusion:
- Know how to apply the law of detachment to determine the conclusion of a pair of statements.
- The law of denying the consequent is a valid form of a conditional argument that asserts that if both the conditional, is true and the negation of the conclusion, is true, then the negation of the hypothesis must also be true.
Law of Denying the Consequent Premise: Premise: Conclusion:
- Know how to apply the law of denying the consequent to determine the conclusion for pairs of statements.
- The chain rule for conditional arguments is a valid form of a conditional argument that asserts that if the premises of the argument have the form, and , then it follows that
Chain Rule for Conditional Arguments Premise: Premise: Conclusion:
- Know how to apply the chain rule to determine valid conclusions for pairs of true statements.