これらの命題では、"x" の代わりに別の文字を使っても論理的には全く変化しない。