質問: 恒等的に正しいとはどういう意味ですか? よく文献などで「恒等的に正しい」という表現が使われますが、 これはどういう意味なのでしょうか? 何となくわかったようで分かりません。 どなたか教えて下さい。
回答: 「恒等的に正しい」か... 述語が恒等的に真であることを言っているのかな? 「p(x) は恒等的に正しい」と言うのは、少々雑で、 「p(x) は x について恒等的に正しい」と書くのが良い。 この場合、「x について恒等的に」とは、 「x に何を代入しても」という意味。 黙って「~ は恒等的に正しい」と書けば、たいていは、 「~ 部分に登場する各変項について恒等的に」という意味 だと思う。