Professional Documents
Culture Documents
Problem Set 1.docx-1-1
Problem Set 1.docx-1-1
5. Mathematicians are not generous, and if Spiders don’t hate algebra, then Libertines
have sharp minds in algebraic terms.
- P Λ (~ Q → ~ R )
II. Translate the propositional forms into a statement. (2 points each) Let P, Q, and R represent
the following simple statements.
P Mathematicians are not generous.
Q Spiders hate algebra.
R Libertines don’t have sharp minds in algebraic terms.
1. (~𝐏 𝖠 𝐐) ∨ ~𝐑
- Mathematicians are generous and spiders hate algebra, or libertine sharp minds in an algebraic
term.
2. (𝐐 ∨ 𝐑) → ~𝐏
- If spiders hate algebra or libertines don't have sharp minds in algebraic terms, then
mathematicians are generous.
3. (~𝐏 ↔ 𝐐) 𝖠 𝐑
- Mathematicians are generous if and only spiders hate algebra and libertines; or libertines do not
have sharp minds.
4. ~𝐏 ↔ (𝐐 𝖠 𝐑)
- Mathematicians are generous if and only if, spiders have algebra and libertines don't have sharp
mids in algebra terms.
5. (~𝐏 𝖠 𝐑) → [𝐐 ∨ (𝐏 ↔ 𝐑)]
III. Determine which type of statement is being considered.
Highlight in Red Statements
Statement the Meaning Type of
Most Dominant Clarified with
Connective Grouping Statement
Symbols
𝐏 → 𝐐 𝖠 ~𝐑 P→QΛ~ R P → (Q Λ ~ R) Conditional
𝐏 𝖠 𝐐 → ~𝐑 Conditional
𝐏↔𝐐→𝐑 Biconditional
𝐏 𝖠 ~𝐐 → 𝐑 ∨ 𝐒 Conditional
𝐏 → ~𝐐 𝖠 𝐑 ↔ 𝐒 ∨ Biconditional
𝐏
IV. Given the original statement in each item, provide the different forms of
conditional statements. (1 point each)
Inverse: if you will not sign up for a two year contract, then you will not receive a free
cell phone.
Contrapositive: if you will not receive a free cell phone, then you will not sign up for a two year
contract
V. Determine the truth value of the following propositions by replacing each constant with
their truth values. Show your COMPLETE solution/reasoning. (3 points each)
Let P be true (T), Q be false (F), and R be false (F).
1. (𝐏 → 𝐐) → (~𝐑 ∨ ~𝐏)