Formalise the statement: "It ain't over till it's over."
Writing this in formal English we have:
"It is not over, until it is over."
Let:
t: it is over
I am aware that this is a form of temporal logic as the propositions are qualified in terms of time. I.e. "until"
How would this be formalised? I thought $\neg$ t -> t could be one way as the end result is just t.
Also would this be a tautology, contradiction or contingent sentence?
One way to read the sentence is to represent it as $\lnot t \implies \lnot t$, which is a tautology. The intended reading makes use of an ambiguity in English. Particularly for a sporting event "It is over" can mean the game is complete or it can mean that although the game is not complete one team is so far ahead the other has no chance to catch up. The point of the statement is then to claim that no lead is safe until the game is truly complete. To formalize this reading, you need two different symbols, one for each reading of "It is over". So you can have $t$ be "the game is complete" and $s$ be "one team has no chance of winning" and say $\lnot t \implies \lnot s$