So your response is if you consider a different grammar and language the meanings are, well, different? Your use of ‘Lisp’ does not change the fact that in First Order Predicate Logic P, x and y are all themselves well formed formula as is the atomic formula P(x,y).
Well since there is no ‘is’ in True or False you are asserting that your ‘REI’ does not hold.
Again that does not change the fact that in First Order Predicate Logic P, x and y are all themselves well formed formula, on their own. You seem to be going to some ludicrous extremes, adding ‘is’ to True and False, using ‘Lisp’ as opposed to the stated language and grammar as well as ignoring the assertion of P, x and y as well formed formula on their own, in order to maintain your ‘REI’ ‘Wildly Fictional Fantasy’.
What you mean that post where you claimed ‘I’ was a symbol that did not need an explanation then attempted to explain what you were representing with that symbol. A fine example Doron, that you have no idea what you are talking about and that even you do not believe your own assertions.