[peritonlogon]

[ QUOTE ]
Neither of my examples are logical tautologies.

They are necessarily true, but not by virtue of their logical form.


[/ QUOTE ]

Actually what you said is true precisely because of it's logical form... Even if you did not write it down, or elucidate it.

[ QUOTE ]

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

[/ QUOTE ]

If we can all except this proposition.

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.