Translate English sentences in statement logic

1.4k Views Asked by At

The task is: Give agood translationof the following puzzle into formal statement logic.

1. Paul doesn’t like logic or Quincy likes it.
2. Robert likes logic, only if Quincy doesn’t like it.
3. Paul and Quincy like logic, if and only if Paul likes logic and Robert
does not.
4. Paul likes logic and if Robert likes logic then also Quincy.
5. Additionally (1 extra point): Who likes logic and who not?

I did the task but I don`t know if it is done correct. Please can somebody check?

My answers:

1. ¬p ∨ q
2. p ↔ ¬q
3. ((p ∧ q) ↔ (p ∧ ¬r))
4. p ∧ r → q
5. p ∧ ¬p
1

There are 1 best solutions below

5
On

(1): good
(2): $\leftrightarrow$ is for if-and-only-if. Only-if is for a one-sided arrow.
(3): good
(4): should be $(p \land r) \rightarrow q$, else it's ambiguous to read.
(5): In this puzzle, you need to use all the statements. I'll do this one:

From (4) we know that Paul likes logic. Then we go to 1: this can only hold if Quincy likes logic. So Quincy likes logic. So from (2), Robert doesn't like logic (this uses the contrapositive!). All of this is consistent with (3). Done!