Translate the following statement into FOL.

“For every a, if a is a philosopher, then a is a scholar”

1) ∀ a philosopher(a) –> scholar(a)

2) ∃ a philosopher(a)–> scholar(a)

3) A) is true, B) is true

4) A) is false, B) is false

### Question stats

Question and answer is powered by AnsPress