Translate into FOL : For every a, if a is a philosopher..


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

Ravi Garg edited question
    Sonali Kapoor (anonymous)

    Correct Option A)

    Sonali Kapoor answered
      Add image to editor add image from link

      Question stats

      • Active
      • Views259 times
      • Answers1 answer
      • Followers1 follower
      Question and answer is powered by AnsPress