Solutions to Homework #9, Problems 23-29

Using the symbols introduced in Table 1, page 23, translate the following sentences into first-order logic. 1. If Claire gave Folly to Max at 2:03 then it belonged to her at 2:00 and to him at 2:05. ... 3. A ( (B is a logical consequence of A ( B ( C, B ( (A ( (C), and A ( C. Since what we want to show is a biconditional, we need to prove A ... ................
................