My Math Forum  

Go Back   My Math Forum > Science Forums > Computer Science

Computer Science Computer Science Forum

LinkBack Thread Tools Display Modes
June 1st, 2017, 04:32 AM   #1
Joined: Jun 2017
From: Paris

Posts: 1
Thanks: 0

First order logic

I have a small problem with the first order logic, in particular, predicate logic

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 whether 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 form 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)

Last edited by skipjack; June 1st, 2017 at 08:28 AM.
radouani is offline  

  My Math Forum > Science Forums > Computer Science

logic, order

Thread Tools
Display Modes

Similar Threads
Thread Thread Starter Forum Replies Last Post
First-Order Logic logicigol Applied Math 1 April 8th, 2013 03:44 PM
First order logic rhymin Computer Science 4 March 20th, 2013 11:39 AM
First order logic! need help jetro Applied Math 1 January 24th, 2013 07:18 PM
First order logic jaysnanavati Applied Math 0 May 1st, 2012 04:19 PM
First order Logic! payam Applied Math 1 January 2nd, 2011 09:51 AM

Copyright © 2017 My Math Forum. All rights reserved.