Let the following statements be given p You are in Seoul q

Let the following statements be given.

p = \"You are in Seoul.\"

q = \"You are in Kwangju.\"

r = \"You are in South Korea.\"

A) Translate the following statement into symbols of formal logic: If you are not in South Korea, then you are not in Seoul or Kwangju.

Solution

A) ~r ---> (~p /\\ ~q)

B) If you are in Kwangju, then you are in South Korea and not in Seoul