Translate the following statement into FOL.
"For every a, if a is a PhD student, then a has a master degree"
A. ∀ a PhD(a) → Master(a)
B. ∃ a PhD(a) → Master(a)
C. A is true, B is true
D. A is false, B is false
Answer: Option A

Join The Discussion