LESSON 2.2 Compound Propositions Flashcards
What is a simple proposition?
A simple proposition is a proposition with only one subject and only one predicate.
For example, “Every cat that barks has a PhD” is a simple proposition where “every cat that barks” is the subject, and “has a PhD” is the predicate.
How are compound propositions formed in logic?
Compound propositions are formed by combining simple propositions using logical connectives such as “or,” “and,” “but,” and “unless.”
What is the conjunction of two propositions p and q?
The conjunction of two propositions p and q is the proposition “p and q,” denoted by p ∧ q. It is true only when both p and q are true. If either one is false, the conjunction is false.
When is the conjunction of two propositions p ∧ q true or false?
The conjunction p ∧ q (“p and q”) is true only when both p and q are true. If either p or q (or both) are false, then the conjunction p ∧ q is false.
What is the disjunction of two propositions p and q?
The disjunction of propositions p and q is the proposition “p or q,” denoted by p ∨ q. It is false only when both p and q are false.
When is the disjunction p ∨ q true?
The disjunction p ∨ q is true if at least one of p or q is true (or if both are true).
What is a conditional statement p → q?
A conditional statement p → q is the proposition “If p, then q.” It is false only when p is true and q is false.
What are the converse, inverse, and contrapositive of p → q?
The converse is q → p, the inverse is (¬ p) → (¬ q), and the contrapositive is (¬ q) → (¬ p).
What is the truth table for p → q?
|p |1 1 0 0
| q |1 0 1 0
| p → q |1 0 1 1
In a conditional statement p → q, what are p and q called?
In the proposition p → q, p is called the premise and q is called the conclusion.
When is a conditional statement trivially true?
A conditional statement is trivially true when the premise p is false.
Give an example of a conditional statement with its premise and conclusion.
Example: “If you don’t wash the dishes, then you don’t get money for a buffet.” The premise is “You don’t wash the dishes,” and the conclusion is “You don’t get money for a buffet.”
Under what condition is the statement “If you don’t wash the dishes, then you don’t get money for a buffet” false?
The statement is false only when you don’t wash the dishes, but you still get money for the buffet.
What are other ways to express the conditional statement p → q?
Other ways to express p → q include “q if p,” “p implies q,” “p is sufficient for q,” or “q is necessary for p.”
Give an example of p, q, and p → q with their converse, inverse, and contrapositive.
Let p be “π is irrational” and q be “3 is less than 2.”
- p → q: If π is irrational, then 3 is less than 2.
- Converse (q → p): If 3 is less than 2, then π is irrational.
- Inverse ((¬ p) → (¬ q)): If π is not irrational, then 3 is not less than 2.
- Contrapositive ((¬ q) → (¬ p)): If 3 is not less than 2, then π is not irrational.
