3.2: Compound Statements and Connective Notes
3.2: Compound Statements and Connective Notes
3.2: Compound Statements and Connective Notes
Connectives include words such as __and__, _or_, __if__......... __then__, and if and only if.
If p and q are two simple statements, then the compound statement “p and q” is symbolized by p ∧ q.
The compound statement formed by connecting statements with the word and is called a
__conjunction__. The symbol for and is ˄.
Let p and q represent the following simple statements:
p: It is after 5 P.M.
q: They are working.
Write each compound statement below in symbolic form:
__p ∧ q __a. It is after 5 P.M. and __ p ∧ ~q ___ b. It is after 5 P.M. and
they are working. they are not working.
Or Statements
__Disjunction__ is a compound statement formed using the inclusive or represented by the symbol ∨.
Thus, “p or q or both” is symbolized by p ∨ q.
___ p ∨ ~q__b. The bill receives majority approval or the bill does not become a law.
If-Then Statements
The compound statement “If p, then q is symbolized by p → q.
This is called a __conditional__ statement.
The statement before the → is called the___antecedent____.
The statement after the → is called the ___consequent___.
_~q → p_b. If a person is not a male, then that person is not a father.
Common English Expressions for p → q
Symbolic English Statement Example
Statement p: A person is a father.
q: A person is a male.
_Biconditional_ statements are conditional statements that are true if the statement is still true when
the antecedent and consequent are reversed.
The compound statement “p if and only if q”
(abbreviated as iff ) is symbolized by p ↔ q.
Common English Expressions for p ↔ q
Disjunction p∨q p or q.
___If a student studies and does not miss lecture, then the student does not fail.__
p→ q ∧ ~r p→ q ∧ ~r p→ (q ∧ ~r) Conditional
p ∧ q → ~r p ∧ q → ~r (p ∧ q) → ~r Conditional
p ∧ ~q → r ∨ s p ∧ ~q → r ∨ s (p ∧ ~q) → (r ∨ s) Conditional
_______________(~p ↔ q) ∧ r _____________
Because the most dominant connective that appears is ↔ , the symbolic form with parentheses is
~p ↔ (q ∧ r ).
I do not fail the course iff I study hard, and I pass the final.
In this statement, the comma indicates the grouping, so it is not necessary to apply the
dominance of connectives. The symbolic form of the statement is (~p ↔ q) ∧ r .