Answered step by step
Verified Expert Solution
Link Copied!

Question

1 Approved Answer

Am I doing right on translate those sentences to FOL statements? the double slash means I am not sure which one is correct 1) human(Rock^

Am I doing right on translate those sentences to FOL statements? the double slash means I am not sure which one is correct

image text in transcribed

1) human(Rock^ Captain Janeway) 2) Borg(Seven of Nine) 3) BBorg(you)> futile(Resistance) 4) exists(X):smell(X, cooking(Rock )) 5) forall(Times,exists (X,Y); wins (X)>wins(Y)) 6) wins(Rock, Seven of Nine) 7) wins(human, Borg) -> lucky(human) Y/exist(X):human (X) wins (X, Borg)->lucky (X) 8) exists(X): human (X)>lucky(X) 9) exists(X) : wins (Law4X) 1) The Rock and Captain Janeway are humans. 2) Seven of Nine is Borg. 3) If you are not Borg, then Resistance is Futile. 4) Someone can smell what The Rock is cooking. 5) Anytime someone fights someone else, and that first someone wins, then the other someone does not win. 6) The Rock fought Seven of Nine, and The Rock won. 7) If a human fights a Borg, and the Borg does not win, then the human is lucky. 8) Some humans are lucky. 9) Someone fought the Law and the Law won

Step by Step Solution

There are 3 Steps involved in it

Step: 1

blur-text-image

Get Instant Access to Expert-Tailored Solutions

See step-by-step solutions with expert insights and AI powered tools for academic success

Step: 2

blur-text-image

Step: 3

blur-text-image

Ace Your Homework with AI

Get the answers you need in no time with our AI-driven, step-by-step assistance

Get Started

Recommended Textbook for

Case Studies In Business Data Bases

Authors: James Bradley

1st Edition

0030141346, 978-0030141348

More Books

Students also viewed these Databases questions

Question

9. Understand the phenomenon of code switching and interlanguage.

Answered: 1 week ago