Philosophy 102: Introductory Logic Unit 4 Craig Fox

HANDOUT

1. Practice with symbolization/regimentation of sentences.

B= Bertrand writes/will write/wrote a letter; G= Gottlob writes/will write/wrote a book.

K=Kurt likes mathematics; W=Willard likes geography.

(1) “Bertrand will write a letter only if Gottlob doesn’t write a book.”

(2) “Bertrand will write a letter if Gottlob doesn’t write a book.”

(3) “Gottlob won’t write a book unless Kurt likes mathematics and Willard doesn’t like geography.”

(4) “Kurt likes mathematics if both Willard doesn’t like geography and Gottlob wrote a book.”

(5) “Kurt likes mathematics if and only if Bertrand wrote a letter and Gottlob wrote a book.”

(6) “Unless Kurt likes mathematics, Willard likes geography.”

(7) “Willard likes geography and Kurt likes mathematics only if Gottlob didn’t write a book.”

(8) “Kurt likes mathematics if neither Gottlob wrote a book nor Bertrand wrote a letter.”

(9) “Not both Kurt likes mathematics and Willard likes geography, but Kurt likes mathematics if and only if Bertrand wrote a letter.”

(10) “If Bertrand wrote a letter, and if Gottlob wrote a book, then if Kurt likes mathematics then Willard likes geography.”

--More problems, p. 63.

2. Using the above assignment, come up with English sentences truth-functionally equivalent to the following.

(1)

(2) ()

(3)