I have a small problem with the first order logic, in particular, predicate logic(adsbygoogle = window.adsbygoogle || []).push({});

Let us take this sentence as an example:

Each teacher has given a form to each student.

From this sentence, can we have different reading?

This is my try to solve such problem, I did not know if this is the answer for such question:

Every Teacher has given a form to each Student.

(∀x)Teacher(x)^(∀y) Student(y)^(∃z)Form(z)^Give(x,y,z)

If X is a Student then he has received a form from a teacher

Student(x)→(∃y) Teacher(y)^(∃z)Form(z)^Give(x,y,z)

If X is a Teacher then he has gave a from for all his students

Teacher(x)→(∀y) Student(y)^(∃z)Form(z)^Give(x,y,z)

If X is a form then a teacher gave it to all student.

Form(x)→(∀y) Employer(y)^(∃z)Teacher(z)^Give(x,y,z)

**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!

# A First order logic : Predicates

Have something to add?

Draft saved
Draft deleted

Loading...

Similar Threads for order logic Predicates |
---|

I Repeatability of necessity: number restrictions? |

I Order Statistics |

I The characteristic function of order statistics |

I Order of "Extracted Factors" in SPSS Factor Analysis |

A Transcription from SQL to FOL (First Order Logic) |

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