Mapa Institute of Technology - GED 102

Formalize the given statements using the following propositions.

p: Paul is Happy.

q: Queenie is Happy.

r: Paul plays the guitar.

1)Both Paul and Queenie are happy.

2. Paul plays the guitar provided that he is happy.

3. If Paul is happy and plays the guitar, then Queenie is not happy.

Let M: Mark is English and L: Lem is German. Translate the following logic symbols into words.

4. M ?L

5. ~ L                              

6. M ? ~ L                     

7.   M ?(~L)