How does session 7 work?

[michaelgwelch]

I've played with incredible proof machine for years but don't recall ever attempting session 7. Was looking at it now, problem 1, and have a question:

What does the lower case t in t(x) mean? Is it semantically different than an upper case letter like P(x) in session 6?

[michaelgwelch]

Session 7 doesn't seem to add any new blocks and none of the blocks introduce a lower case "proposition"(?).

[nomeata]

Hmm, I think the lower case doesn't mean anything. I probabaly wrote t because this is the Drinker’s Paradox, and the German word is „Trinker“.

So this means the statement ought to hold for any proposition “t”

[michaelgwelch]

Thanks. That helps.