Scribd
Upload
31 views

Convert To English

1. Any bunny is cute. 2. Any student taking AI is cool. 3. Any bunny that is a student taking AI is both cute and cool. 4. Anyone who eats ramen is either homeless or a grad student. 5. There exists a student who takes AI and does not hate their homework for the class. 6. Any cat rules and any dog drools.

Uploaded by

Raj saranya
Copyright
© © All Rights Reserved
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
31 views

Convert To English

1. Any bunny is cute. 2. Any student taking AI is cool. 3. Any bunny that is a student taking AI is both cute and cool. 4. Anyone who eats ramen is either homeless or a grad student. 5. There exists a student who takes AI and does not hate their homework for the class. 6. Any cat rules and any dog drools.

Uploaded by

Raj saranya
Copyright
© © All Rights Reserved
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 1

Convert to English

1. ∀x IsABunny(x) ⇒ IsCute(x)
2. ∀x IsAStudent(x) ∧ IsTakingAI(x) ⇒ IsCool(x)
3. ∀x IsABunny(x) ∧ IsAStudent(x) ∧ IsTakingAI(x) ⇒ IsCute(x) ∧ IsCool(x)
4. ∀x EatsRamen(x) ⇒ IsHomeless(x) ∨ IsAGradStudent(x)
5. ∃s ∀h IsAStudent(s) ∧ IsTaking(s,AI) ∧ HomeworkFor(h,AI) ∧ ¬Hates(s,h)
6. ∀a (IsACat(a) ⇒ Rules(a)) ∧ (IsADog(a) ⇒ Drools(a))

Convert to First-Order Logic


There is a bunny who is a cute
Elder gods do not like Hello Kitty
There is only one Elvis (do not use ∃!)
Every child who has a Chinpokomon card is cool
Some students took AI1 in Spring 2008 (using Take(person, course, semester))
Every student who takes AI1 passes it
Lucy is a professor
All professors are people.
John is the dean.
Deans are professors.
All professors consider the dean a friend or don’t know him.
Everyone is a friend of someone.
People only criticize people that are not their friends.
Lucy criticized John

You might also like