数学基礎論・数理論理学 その15 [転載禁止]©5ch.io
レス数が900を超えています。1000を超えると表示できなくなるよ。
0901132人目の素数さん
2015/05/29(金) 22:08:04.86ID:P2ZSzF3c述語論理のセマンティックスで、
V(∀ξB) = 1を「モデルMのすべてのα変種について、V(B[α/ξ:]) = 1」
と定義する。
αは∀ξBに現われない定項ならば、なんでもいいので、
これは
「すべてのa変種について〜」かつ「すべてのb変種について〜」かつ…
と「かつ」でむすんで理解してはおかしいでしょうか。
あえてむすぶなら「または」でむすぶ…?
レス数が900を超えています。1000を超えると表示できなくなるよ。