Question

create computer program to translate the following statements into First Order Logic. You can use whichever language you prefer.

PS: please read the question carefully. It said write a program with whichever language you prefer.

a: all cheetahs are fast. Domain: animals;

b: some cheetahs are fierce and dangerous. Domain: animals;

c: every prime number is odd. Domain: integers;

d: all prime numbers except two are odd. Domain: integers;

e: all aliens are either green or orange. Domain: living creatures;

f: for every integer number, there exists a bigger integer. Domain: integers

Answer 1

a)
   P(x):   x is fast, ∀ x | x is cheetah, x ∈ animals

b)
   Q(x):   x is fierce and dangerous, ∃ x | x is cheetah, x ∈ animals

c)
   R(x):   x is prime
   S(x):   x is odd

   R(x) => S(x), ∀ x | x ∈ integers

d)
   T(x):   x is prime
   U(x):   x is odd

   T(x) => U(x), ∀ x | x ∈ integers and x ≠ 2

e)
   V(x):   x is alien
   W(x):   x is Green
   X(x):   x is Orange

   V(x) => W(x) ∨ X(x), ∀ x | x ∈ Living Creatures

f)
   Y(x):   x < y, ∀ x, y | x,y ∈ integers