Question

Exercise 1.2.2: Translating English statements into logic. About Express each statement in logic using the variables: p: It is windy. q: It is cold. r: It is raining. (a) It is windy and cold. (b) It is windy but not cold. (c) It is not true that it is windy or cold. (d) It is raining and it is windy or cold. (e) It is raining and windy or it is cold. (f) It is raining and windy but it is not cold.

Answer 1

Explanation:

Note, the symbol ∧ is the and conjunction and is used when all the statements (eg A and B) are true. While ∨ is the disjunction symbol, it is used when any one of the statements (A or B) is true, or both statements are true.

a) p ∧ q

b) p ∧ -q

c) (p ∨ q)

d)  r ∧ (p ∨ q)

e) (r ∧ p) ∧ q

f)  (r ∧ p) -q