Consider the statements:
p: Siah is from Foya.
q: Foya is in Lofa.
Write in symbolic for the statement: "If Siah is from Foya, then Foya is in Lofa"

A.

~q ⇔ p

B.

q ⇒ p

C.

p ⇒ q

D.

p ⇔ q

Correct answer is C

The symbolic form for the statement "If Siah is from Foya, then Foya is in Lofa" is:

p ⇒ q

This is read as "p implies q". It means that if p is true, then q must also be true.

In other words, if Siah is from Foya, then Foya must be in Lofa.