Logic Exercise 1

The following predicates are defined: friend is " is a friend of mine" wealthy is " is wealthy" clever is " is clever" boring is " is boring" Write each of the following propositions using predicate notation: 1 Jimmy is a friend of mine. 2 Sue is wealthy and clever. 3 Jane is wealthy but not clever. 4 Both Mark and Elaine are friends of mine. 5 If Peter is a friend of mine, then he is not boring. 6 If Jimmy is wealthy and not boring, then he is a friend of mine.

Logic Exercise 2

1 Using the same predicates you defined in Exercise 1, symbolise each of the following. (a) Some of my friends are clever. (b) All clever people are boring. (c) None of my friends is wealthy. (d) Some of my wealthy friends are clever. (e) All my clever friends are boring. (f) All clever people are either boring or wealthy. 2 Define suitable propositional functions, and hence symbolise: (a) All pop-stars are overpaid. (b) Some RAF pilots are women.

(c) No students own a Rolls-Royce. (d) Some doctors cannot write legibly.

Exercise 3
Suppose: (1) If it is Saturday today, then we play soccer or basketball. (2) If the soccer field is occupied, we dont play soccer. (3) It is Saturday today, and the soccer field is occupied. Prove that we play basketball or volleyball. First we formalize the problem P: It is Saturday today. Q: We play soccer. R: We play basketball. S: The soccer field is occupied. T: We play volleyball. Our premiseP(QR), SQ, P, S Need to prove R T