トップページ⇒philo
9コメント3KB

論理記号の読み方

■ このスレッドは過去ログ倉庫に格納されています
0001名無しさんNGNG
どこかで聞いたんですが∀をターンエーっていうのは某アニメだけなんでしょうか？
いちいちuniversal quantifierとよまないとしたらどう読むのがいいんでしょう。
ほかにも∃とか∴とかなんてよんでますか？
0002名無しさんNGNG
私は∀を「逆エー」と習いました。
∃は「逆イー」、∴は「三点」
ほかには、
条件法の→はそのまま「やじるし」
否定の〜は「なみ」などなど。

しかし、たいていの場合は意味を考えて日本語にして言っていました。
たとえば∀ｘ∃ｙ（Ｐｘ→Ｒｙ）だったら、
「すべてのエックスとあるワイについて、ピーエックスならばアールワイ」
というように。
0003名無しさんNGNG


　 Λ＿Λ 　 ／￣￣￣￣￣￣￣￣￣￣
　（　´∀｀）＜ ←ここにも全称量化子
　（　　　　） │
　｜ ｜　|　　＼＿＿＿＿＿＿＿＿＿＿
　（_＿）＿）
0004名無しさんNGNG
∀＝逆アナル
∃＝逆エクスタシー
∴＝剃毛三日目
→＝ミニチンポ
〜＝チン毛
0005名無しさんNGNG
∀ｘ∃ｙ（Ｐｘ→Ｒｙ）

＞「すべてのエックスとあるワイについて、
＞ピーエックスならばアールワイ」

じゃ、
∃ｙ∀ｘ（Ｐｘ→Ｒｙ）
は？
00062NGNG
＞じゃ、
＞∃ｙ∀ｘ（Ｐｘ→Ｒｙ）
＞は？
「あるワイとすべてのエックスについて、ピーエックスならばアールワイ」でしょう。
日本語にしたら同じになってしまうのがつらいところ。
「あるワイについて『ピーエックスならばアールワイ』がすべてのエックスについて成り立つ」とでも言えばもうちょっとましですが、実際にはそこまで考えていなかったと思います。
00075NGNG
＞日本語にしたら同じになってしまうのがつらいところ。

違いは分かっているようだね。（笑）

Skolem化すると前者は
Px→Rf(x)
後者は
Px→Rc
ですね。
(fは関数記号、cは定数記号）
00082NGNG
＞違いは分かっているようだね。（笑）
まあ、いちおう一般教養の「論理学」はさぼらずに一年出席していましたから。

＞Skolem化すると前者は
＞Px→Rf(x)
＞後者は
＞Px→Rc
＞ですね。
＞(fは関数記号、cは定数記号）
これはわかりません。
まあ、たかが一般教養レベルですから。

00095NGNG
>8

前者はｙがｘに依存しているが
後者はｙがｘに関係しない。

ｙの束縛がｘの束縛の内側にあるか外側にあるかで
それが違ってくるというわけ。お分かりかな？
■ このスレッドは過去ログ倉庫に格納されています