Brian C.

asked • 04/11/20

Translating the following statement in FOL

“A number x is composite (P(x)) if and only if x is divisible by some number y (Q(x, y)) other than 1 or itself, and x is not composite if and only if there does not exist any number y such that y divides x with no remainder.”

This statement can be translated in FOL as the following formula:

           "Ax [P(x) -> (Ey Q(x, y)] & "Ax [~P(x) -> ~Ey (Q(x, y)]

Convert this formula into a normal form showing every step in the process.

1 Expert Answer


Still looking for help? Get the right answer, fast.

Ask a question for free

Get a free answer to a quick problem.
Most questions answered within 4 hours.


Find an Online Tutor Now

Choose an expert and meet online. No packages or subscriptions, pay only for the time you need.