Homework #6
Due: April 2

---

#1 (10 points) Use a truth table to prove that (P -> Q) AND (Q -> P) is equivalent to (P OR Q) -> (P AND Q)

---

#2 (10 points)

Write predicate logic sentences to represent the following English sentences:

• Trees are plants.
• Trees have trunks.
• A tree with leaves is deciduous.
• A tree with needles is coniferous.
• A tree has the same properties as its parent.