Hey all, How do we write this statements in first order logic?and give approprate designations to each predicate you introduce?(adsbygoogle = window.adsbygoogle || []).push({});

In every company, there is exactly one employee who has no manager.

my answer for that: AxCx(E!y(Ey.~My))

every course is taken by student

my answer for that: Ax(Cx----> Sx)

a student takes every course

my answer for that: Ex( Sx.Cx)

A IS FOR ALL X..AND E IS THERE IS AT LEAST ONE...E! IS THERE IS EXACTLY ONE

THE OTHER E ABOVE IS EMPLOYEE

thanks..hope you correct my answers and i came close

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Help NOW

**Physics Forums | Science Articles, Homework Help, Discussion**