Translate the following sentence into firstorder logic John

Translate the following sentence into first-order logic. John is the tallest student in his class. Assume class(x) means that x is in John\'s class and taller (x, y) means that x is taller than y and that John refers to John.

Solution

Answer :

Let us denote

John : John

Class(x) : x is John\'s class

Taller( x , y ) : x is taller than y

The the statement \" John is the tallest student in his class \" can be written in symbolic form as follows:

( y) ( Class(y) Taller(John , y ) )