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"

Step 1: Analyze the question We are given two simple statements:

• p: Siah is from Foya
• q: Foya is in Lofa

We must write "If Siah is from Foya, then Foya is in Lofa" in symbols.

Step 2: Concept A conditional statement has the form "If A, then B" and is written A ⇒ B.

• The part after "if" is the hypothesis (the antecedent).
• The part after "then" is the conclusion (the consequent).

Step 3: Solution

• The "if" part is "Siah is from Foya", which is p.
• The "then" part is "Foya is in Lofa", which is q.

So the statement is p ⇒ q.

Checking the other options:

• A. ~q ⇔ p means "p if and only if not q", which is not what was said.
• B. q ⇒ p means "If Foya is in Lofa, then Siah is from Foya". The direction is reversed (the converse).
• D. p ⇔ q means "p if and only if q", a biconditional, which is stronger than the original statement.

Answer: C. p ⇒ q

Exam tip: Always match "if" with the first symbol and "then" with the second. "If p, then q" always means p ⇒ q. Watch out for questions that reverse the order, such as "p only if q" (still p ⇒ q) or "p if q" (this is q ⇒ p).