I'm writing a First Order Logic sentence to express a "Highest" function. (ie. highest temperatures in a city) I'm thinking along the lines of something like this:
HighestTemp returns T1 s.t. $$\exists T_1 \forall T_2 T_1 > T_2$$
But I suspect I will need to use an equality operator ("=") to express this. I am defining the HighestTemp function in preparation for use in another FOL sentence.
In regular programming terms I'm looking to define a function like:
That spits out the highest temperature recorded that year.
For later use in a sentence expressing:
The HighestTemp in Toronto 2013 is greater than the HighestTemp in Chicago 2010.
Can someone point me in the right direction?
Im using FOL for this as practice.