Question: 1 ) Represent the following sentences in first - order logic, using a consistent vocabulary ( which you must define ) a ) Some students
Represent the following sentences in firstorder logic, using a consistent vocabulary which you must define a Some students took French in spring b Every student who takes French passes it c Every person who buys a policy is smart. d No person buys an expensive policy.Represent the following sentences in firstorder logic, using the predicates given here.
Take means took course in year eg TakeTomal CSE
Pass means passed course in year eg PassZerin CSE
Hard means "Course is hard", eg HardCSE
Now write the following statements in First order logic.
a Abhijit took CSE in and passed it
b Every student who takes CSEin any year passes it
c Some students took CSE in
d Shurra passed every course that she took in
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
