数学基礎論・数理論理学 その15 [転載禁止]©5ch.io
■ このスレッドは過去ログ倉庫に格納されています
0436132人目の素数さん
2015/01/08(木) 02:47:23.35ID:y5eA49ZV英語学者に聞いた方がいいぞ
Endertonがどういう文脈でtheを使っているかわからないけど
the [constant symbols and variables]
という風にtermのurelement(原要素)を一つの集合として考えていればand。
質問者は多分
[the constant symbols] and [variables]
と解釈して両方共という意味にとっているのかもしれない。
その場合はorだけど[the constant symbols]だとどの論理体系でも
決まった定項があるみたいに聞こえる。
■ このスレッドは過去ログ倉庫に格納されています