Solutions to Homework #9, Problems 23-29

Problem 1. Construct a truth table for the sentence (A ( B) ( (B ( A). Show that its final column is the same as that for A ( B (A ( B) ( (B ( A) A ( B T T T T T T T T T T T F F F F T T T F F F T T F T F F F F T F T F T F T F F T F Problem 4. Translate the following English sentences into FOL. 1. If a is a tetrahedron then it is in front of d. ................
................