[Bork]

[ QUOTE ]
All logical forms that are true today are true any other day.

"Tomorrow, nothing will exist which is both red all over, and green all over"

Is true because of this identity


All-red-all over things are red-all-over things

and its converse

All non red-all over-things are non red all over things.

and this proposition.

A green all over thing is a non red-all-over thing.

Since, principle of non contradiction "A thing can not both be and not be in the same respect at the same time"

Which means, what you said is just a specific instance of the principle of non-contradiction, which is a rule of logic that is also provable by tautology.

[/ QUOTE ]

One more point.
Just because you used a tautology (you used more than one btw) in your 'proof' of my statement it does not follow that my statement itself is a a tautology or an instance of the the tautology that you invoked in the proof.