一方, not A or B は AがBを内含することになるとは限らない.
「2は素数でないか3は素数である」は成り立つが,2が素数であることは3が素数であることを内含しない.
A⇒A,A⇒BかつB⇒CのときA⇒C は正しい.
例えば、対偶律は、従来は、 (Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) で表わされるもののこと
と考えられていたのだっただが、これは、どうやら、誤りだったようだ。そして
M_SHIRAISHI氏の言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］⇒/p,q/［￢Ｑ(ｘ)⇒/x/￢Ｐ(ｘ)］
こそが、対偶律を正しく捉えてたものと考えられる。
M_SHIRAISHI氏（たち？）の主張する「論理革命」は、おそらく、世界を席巻
することとなろう。
㌧デモと見える学説に対しては、、一般論として、我々は慎重でなければならないと思う。
学問の歴史を振り返ってみれば、最初は、大多数の人間には、㌧デモと思われていた学説が、
のちのち、定説となったものが「実に多い」からだ。
有名なところでは、地*球*説にしてしかり、地動説にしてしかり、大陸移動説にしてしかり。
ド・プロイの電子波説にしても、提唱された当初は、物理学者一般には「物笑いの種」だった
し、また、アインシュタインの特殊相対性理論の場合も、最初は、トップクラス物理学者の中
のごく一部の人に認められただけだったという歴史的事実を直視すべきだろう。
ここで、ネット数学四天王と呼ばれている面々について考えてみると、まず、マツシン先生に
ついては、見るべき理論は無いので、論外として、イマイ爺の場合は、一応、独自の"理論"は
立てているが、なにせ、「程度が低くて」問題にならない。 むしろ、それを読んだ中・高生
に"害"を及ぼす怖れのほうが大きいと思われる。 一方、ヤマジンにの例の"証明"のほうは、
㌧デモのままで終わると見て間違いないだろう。
注目すべきは、エムシラ理論だろう。 四色定理の証明や不可完全性定理についての論考さえも
隅っこ扱いされているような、壮大な理論で、ちょっと判断に迷うが、ひょっとすればひょっと
するという気持ちを抱かせる「何か」がある。 ケンブリッジで講演する予定のようだけど、
ケンブリッジを席巻してしまう可能性、無きにしもあらずだろう。 今後、何年後以降からは、
世界の論理学の教科書はすべてエムシラ理論に準拠したものになる*かも*知れない。
http://www.age.ne.jp/x/eurms/RONRI-J02.html#E-Books
どうも、「M_SHIRAISHI氏(つーか、ＥＵＲＭＳ)の理論」のほうが正しいようだな。
例えば、対偶律は、従来は、 (Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) で表わされるもののこと
と考えられていたのだっただが、これは、どうやら、誤りだったようだ。そして
M_SHIRAISHI氏の言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］⇒/p,q/［￢Ｑ(ｘ)⇒/x/￢Ｐ(ｘ)］
こそが、対偶律を正しく捉えてたものと考えられる。
M_SHIRAISHI氏（たち？）の主張する【論理改革】は、おそらく、世界を席巻
することとなろう。
http://www.age.ne.jp/x/eurms/RONRI-J02.html#E-Books
論理法則とは、そも、何ぞや ？
In the first place, what does a logical law mean ?
ことがら Ａ，Ｂ，Ｃ，Ｄ が在り、これらについて次の２つの関係が成り立って
いるものとする。
(ｲ) Ａであれば、Ｂか又はＣである。
(ﾛ) Ｄであれば、ＢでもＣでもない。
このとき、以下の主張 (1) ～ (8) のうち正しいものを列挙せよ。尚、解法も述べよ。
(1) Ｄでなければ、Ａではない。
(2) Ｃであれば、Ｄではない。
(3) Ａでなければ、Ｄでないか又はＢではない。
(4) Ａでなければ、Ｄではない。
(5) Ｂでなければ、Ａでないか又はＤである。
(6) Ｂでなければ、Ａでないか又はＣである。
(7) Ｂであれば、Ｃではなく、Ｄでもない。
(8) ［Ｂでなければ、Ｄではない］か又は［Ｄでなければ、Ｂではない］
それって、集合論じゃん。
∀p,q.(∀x.(x∈p⇒x∈q))⇒(∀y.(￢y∈q⇒￢y∈p))
∀x.￢x∈x⇒∀x∃y.￢y∈x
「いかなる集合xも、自分自身を要素として含まないのであれば
いかなる集合xについても、それぞれ、xの要素とならない集合yが存在する。」
（ヒント）どんなyが条件を満たすか考えよ。
＞ ∀x.￢x∈x⇒∀x∃y.￢y∈x
意味不明！！！！
ベルトランの逆説に関しての議論で、M.Shiraishi氏が自爆したようなこと
を書いているヤシがいるけど、そいつって、マツシン並みの間抜けだよな（ｗ
M.Shiraishi氏は、「ベルトランの逆説に関しての従来の通説は間違いである
ことに気づいた」と言い出し、「この逆説は、確率の従来の定義が間違って
いたことによるものだ」として、議論を決着させている。
自爆どころか、２０世紀の確率論の基礎を覆す、凄い発見というべきだろう。
http://www.age.ne.jp/x/eurms/Bertrand.html
ああ、限量子を知らない素人だったか。
「Ｐ(ｘ)⇒/x/Ｑ(ｘ)」を、数学では∀x．P(x)⇒Q(x)って書くんだよ。
で、∃x.(P(x)＆Q(x))は、￢∀x．P(x)⇒￢Q(x)だな。
ＭＳの記法では、「￢（Ｐ(ｘ)⇒/x/￢Ｑ(ｘ)）」となるだろう。
ａ∈ｂを、Ｅ（ａ，ｂ）とすればいいだけのこと。
つまり、∀x.￢x∈x⇒∀x∃y.￢y∈x は
∀x.￢Ｅ(x,x)⇒∀x∃y.￢Ｅ(y,x)
もっとわかりやすく書けば
∀x.(￢Ｅ(x,x)⇒∃y.￢Ｅ(y,x))
ここまで書けば答えはミエミエだろう。
>
> 論理法則とは、そも、何ぞや ？
>
> In the first place, what does a logical law mean ?
文がトートロジーであることを証明する道具
したがって意味不明は思考欠如によるものだと証明されたｗ
一つ質問しよう。
論理法則によりトートロジーが証明される
という保証はいかにして行うのか？
どうも、「M_SHIRAISHI氏(つーか、ＥＵＲＭＳ)の理論」のほうが正しいようだな。
例えば、対偶律は、従来は、 (Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) で表わされるもののこと
と考えられていたのだっただが、これは、どうやら、誤りだったようだ。そして
M_SHIRAISHI氏の言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］⇒/p,q/［￢Ｑ(ｘ)⇒/x/￢Ｐ(ｘ)］
こそが、対偶律を正しく捉えてたものと考えられる。
M_SHIRAISHI氏（たち？）の主張する【論理改革】は、おそらく、世界を席巻
することとなろう。
http://www.age.ne.jp/x/eurms/RONRI-J02.html#E-Books
＞ >>9
＞ >
＞ > 論理法則とは、そも、何ぞや ？
＞ >
＞ > In the first place, what does a logical law mean ?
＞
＞ 文がトートロジーであることを証明する道具
つーか、論理法則ってのは、トートロジー自体のことではないのか？
＞論理法則ってのは、トートロジー自体のことではないのか？
No !
(Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) は tautology であり。
“(ＰならばＱである)ならば、(ＱでないならばＰではない)”が成立する。
しかし、[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] は tautology であるのに
“ＰならばＱかＲであるならば、ＰならばＱかまたはＰならばＲである”は
成立しない。
＞論理法則ってのは、トートロジー自体のことではないのか？
No !
(Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) は tautology であり。
“(ＰならばＱである) ならば (ＱでないならばＰではない)”が成立する。
しかし、[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] は tautology であるのに
“[ＰならばＱかＲである] ならば、[ＰならばＱ] か又は [ＰならばＲ]である”
は成立しない。
＞[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] は tautology であるのに
＞“ＰならばＱかＲであるならば、ＰならばＱかまたはＰならばＲである”
＞は成立しない。
「ＰならばＱ」と「Ｐを前提としてＱが導ける」は同値だが。
「ＰならばＱ、かまたは、ＰならばＲである」は
「Ｐを前提としてＱが導ける、かまたは、Ｐを前提としてＲが導ける」と
同値ではないよ。
後者から前者はいえるが、前者から後者はいえない。
端的にいえば、
Ｐ∨￢Ｐ（Ｐまたは￢Ｐ）は tautology だからといって、
Ｐが前提なしに導ける、かまたは、￢Ｐが前提なしに導ける、
といえるわけではない。
あと、もしＡ⊃Ｂを∀x.(A(x)⊃B(x))と理解しているなら、
[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] が tautology であっても
∀x.[P(x)⊃(Q(x)ＶR(x))]⊃[∀x.(P(x)⊃Q(x))Ｖ∀x.(P(x)⊃R(x))]
は 述語論理の恒真式 ではないから、その理解は誤解だよ。
ＥＵＲＭＳの活動が、Ａ⊃Ｂを∀x.(A(x)⊃B(x))と"定義"した上で、
その"定義"において正しくなる論理規則を、「新しい論理」とする
ということなら、まあ、やってごらん、というところだな。
ケンブリッジからお呼びがかかるかどうかはわからないけど。
＞ >>25
＞ もしＡ⊃Ｂを∀x.(A(x)⊃B(x))と理解しているなら、
我々は、そのように理解してはいない。
Ａ⊃Ｂ] is defined to mean [￢Ａ or Ｂ] by Bertrand A W Russell(1872-1970)
Good Luck to You and to Us All except MatsuShinTan !
ことがら Ａ，Ｂ，Ｃ，Ｄ が在り、これらについて次の２つの関係が成り立って
いるものとする。
(ｲ) Ａであれば、Ｂか又はＣである。
(ﾛ) Ｄであれば、ＢでもＣでもない。
このとき、以下の主張 (1) ～ (8) のうち正しいものを列挙せよ。尚、解法も述べよ。
(1) Ｄでなければ、Ａではない。
(2) Ｃであれば、Ｄではない。
(3) Ａでなければ、Ｄでないか又はＢではない。
(4) Ａでなければ、Ｄではない。
(5) Ｂでなければ、Ａでないか又はＤである。
(6) Ｂでなければ、Ａでないか又はＣである。
(7) Ｂであれば、Ｃではなく、Ｄでもない。
(8) ［Ｂでなければ、Ｄではない］か又は［Ｄでなければ、Ｂではない］
命題 Ｐ(α) と命題 Ｑ(α) とが矛盾するとき、
次の（１）～（４）のうち、正しいものを選べ：－
（１）Ｐ(α) , Ｑ(α) のうち、いずれか一方は真で
あり他方は偽である。
（２）Ｐ(α) , Ｑ(α) は、「共に真」ではありえない。
（３）Ｐ(α) , Ｑ(α) は、「共に偽」ではありえない。
（４）Ｐ(α) , Ｑ(α) のうち、少なくとも一方は偽である。
＞
＞ Ａ⊃Ｂを∀x.(A(x)⊃B(x))と"定義"した上で、
Ａ(x)⇒/x/Ｂ(x) を ∀x.(Ａ(x)⊃Ｂ(x))と"定義"した上で、
「Ａ(x)⇒/x/Ｂ(x)」の「/x/」を
「⇒」の後に書くのは不合理では？自分で書いてて混乱しないの？
Ｃ{Ａ(x)}⊆Ｃ{Ｂ(x)} を意味する、
御大の記法だよ。http://www.age.ne.jp/x/eurms/Honron-3.html#02-3
＞ >>33
＞ 「Ａ(x)⇒/x/Ｂ(x)」の「/x/」を
＞ 「⇒」の後に書くのは不合理では？自分で書いてて混乱しないの？
Ｃ{Ａ(x)}⊆Ｃ{Ｂ(x)}を意味する、
御大の記法だよ。仮言変項が何であるかがわかって、それなりに合理的。
http://www.age.ne.jp/x/eurms/Honron-3.html#02-3
「ＰならばＱ、かつ、ＰならばＲ ならば Ｐならば（ＱかつＲ）」
の最初の「かつ」と、二番目の（ＱかつＲ）の「かつ」は、どう違う？
(∀x.P(x)⊃Q(x)) かつ (∀x.P(x)⊃R(x)) は 同値。
(∀x.(Q(x)∪R(x))⊃P(x)) と
(∀x.Q(x)⊃P(x)) かつ (∀x.R(x)⊃P(x)) は 同値。
(∀x.P(x)⊃Q(x)) または (∀x.P(x)⊃R(x)) から
(∀x.P(x)⊃(Q(x)∪R(x))) は いえる が、逆は不可。
(∀x.Q(x)⊃P(x)) または (∀x.R(x)⊃P(x)) から
(∀x.(Q(x)∩R(x))⊃P(x)) は いえる が、逆は不可。
それで？
「必要ではないことは 反例をあげれば済むことなのですが、
残念ながらそのような反例を見つけてはいません。」
といってるが
http://www.age.ne.jp/x/eurms/Kotae-13.html#00
の後半４行はまさに”反例”だと思うが。
それとも、(P⊃(Q∪R))⊃((P⊃Q)∪(P⊃R)) と
(∀x.P(x)⊃(Q(x)∪R(x)))⊃((∀x.P(x)⊃Q(x))∪(∀x.P(x)⊃R(x))) は
異なる（前者はトートロジーだが後者はそうではない）ことを
認めているということか？
Yes.
自分のことを「御大」と呼ぶとは白石はマジ基地だなｗｗｗ
同じ白石でも白石ひとみとはエラい違いだｗｗｗ
どうも、「M_SHIRAISHI氏(つーか、ＥＵＲＭＳ)の理論」のほうが正しいようだな。
例えば、対偶律は、従来は、 (Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) で表わされるもののこと
と考えられていたのだっただが、これは、どうやら、誤りだったようだ。そして
M_SHIRAISHI氏の言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］⇒/p,q/［￢Ｑ(ｘ)⇒/x/￢Ｐ(ｘ)］
こそが、対偶律を正しく捉えてたものと考えられる
頭(atama)から信じ込んじゃって、今の理論には矛盾があるってこと
すら 気 が付なかった！
エンジニアと参加願います公安はサリンオウム信者の子供を40歳まで社会から隔離している
オウム信者が地方で現在も潜伏している
それは新興宗教を配下としている公安の仕事だ
発案で盗聴器を開発したら霊魂が寄って呼ぶ来た
<電波憑依>
スピリチャル全否定なら江原三輪氏、高橋佳子大川隆法氏は、幻聴で強制入院矛盾する日本宗教と精神科
<コードレス盗聴>
2004既に国民20%被害250～700台数中国工作員3～7000万円2005ソウルコピー2010ソウルイン医者アカギ絡む<盗聴証拠>
今年５月に日本の警視庁防課は被害者SDカード15分を保持した有る国民に出せ!!<創価幹部>
キタオカ1962年東北生は二十代で2人の女性をR殺害して入信した創価本尊はこれだけで潰せる<<<韓国工作員鸛<<<創価公明党 <テロ装置>>東芝部品)>>R<宗教<R<<公安<<魂複<<官憲>日本終Googl検索
誰か(アメリカ)気づいた
ソウルコピー機器
テロ装置の再読願います
＞ 同じ白石でも白石ひとみとはエラい違い
そうやな。 御大は、自分の全裸画像を公開するような「恥知らず」ではないからな。 ヽ(^。^)ノ
http://www5b.biglobe.ne.jp/~tonden/Actress01/80y/pages/shirahitomi21.html
この世をば
地獄とぞ思う
新月の
全部欠けてお先真っ暗
松芯痰 圖
＞今の理論には矛盾がある
上記の矛盾とは、ズバリ、
「(P⊃(Q∪R))⊃((P⊃Q)∪(P⊃R))がトートロジーだが
(∀x.P(x)⊃(Q(x)∪R(x)))⊃((∀x.P(x)⊃Q(x))∪(∀x.P(x)⊃R(x)))
はそうではない」
という事実を指しているのでしょうか？
で、仮にそうだとして、どこが矛盾でしょうか？
(Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) は tautology であり。
“(ＰならばＱである)ならば、(ＱでないならばＰではない)”が成立する。
しかし、[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] は tautology であるのに
“ＰならばＱかＲであるならば、ＰならばＱかまたはＰならばＲである”は
成立しない。
P, Q, R は例えば何ですか？
>>51
P, Q, R は例えば何ですか？
P, Q, R は論理式。 論理式の例：－ＡｖＢ
どんな論理式でもいいんですか？
>>51
>[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] は tautology であるのに
>“ＰならばＱかＲであるならば、ＰならばＱかまたはＰならばＲである”
>は 成立しない。
>>53
>P, Q, R は論理式。
Ｐ，Ｑ，Ｒは、性質ではなく、論理式なんですね？
例えば「攝津の住人ならば、大阪府民か兵庫県民」という場合
Ｐは「摂津の住人」という性質、ではなく、
「ある人物ｘが摂津の住民である」という
命題（論理式）なんですね？
ＰとＱが、性質ではなく、論理式であるとして
もし、「ＰであってＱでない、ということはない」
という意味でないとしたら、どういう意味だと
いいたいのでしょうか？
性質（つまり述語）を用いず、論理式（つまり命題）だけで
意味を表現できますか？
というようなことが言いたいのだろうから、２つの差異を明らかにするには命題論理の範囲でいいんじゃない？
> >>42
> ＞ 同じ白石でも白石ひとみとはエラい違い
白石ひとみは神
白石御大はゴミ
“ＰならばＱかＲであるならば、ＰならばＱかまたはＰならばＲである”を
(∀x.P(x)⊃(Q(x)∪R(x)))⊃((∀x.P(x)⊃Q(x))∪(∀x.P(x)⊃R(x))) とは
考えていないと確認したかった。
EURMSの目的が直観主義の用語とは思えない。
直接的には（Ｐ⊃（Ｑ⊃Ｒ））のような表現を否定したいようだ。
「ならば」の意味を、集合の包含関係に関連付ける意図は
そこにあると思われる。
＞ >>58
＞ ＥＵＲＭＳの目的が直観主義の用語とは思えない。
＞
＞ 直接的には（Ｐ⊃（Ｑ⊃Ｒ））のような表現を否定したいようだ。
＞ 「ならば」の意味を、集合の包含関係に関連付ける意図は
＞ そこにあると思われる。
You are Quite Right.
# We would like you to join us if you do not mind.
＞ ああ、それから「ＰならばＱ」の意味ですが、
＞ ＰとＱが、性質ではなく、論理式であるとして
＞ もし、「ＰであってＱでない、ということはない」
＞ という意味でないとしたら、どういう意味だと
＞ いいたいのでしょうか？
＞
＞ 性質（つまり述語）を用いず、論理式（つまり命題）だけで
＞ 意味を表現できますか？
「論理式」というは、ＦＬ(the Fregean Theory of Logic) での用語であって、
ＲＬ(the Reformed Theory of Logic)では、廃語。
代わりに「述型」という。 何で廃語としたかと言えば、命題と論理式との
区別がイマイチはっきりしていないから。
［私は摂津の住民である］は命題。 ｘを変項とするとき、[ｘは摂津の住民である]
は、命題ではなくて、述型。
# 今、忙しいので、残りの質問には私が 後で お答えします。４日間ぐらい待ってね。ヽ(^。^)ノ
＞P, Q, R は論理式。
>>63
＞「論理式」というは、ＦＬ(the Fregean Theory of Logic) での用語
＞であって、 ＲＬ(the Reformed Theory of Logic)では、廃語。
＞代わりに「述型」という。 何で廃語としたかと言えば、
＞命題と論理式との区別がイマイチはっきりしていないから。
＞［私は摂津の住民である］は命題。
＞ｘを変項とするとき、[ｘは摂津の住民である] は、
＞命題ではなくて、述型。
その場合、53の回答は、どう改められますでしょうか？
P,Q,Rは命題ですか？それとも、"述形"ですか？
ところで、
「ｘが人間であるなら、ｘを生んだ母親ｙがいる。」
という文章は、述語論理では、例えば
∀ｘ．∃ｙ．人間（ｘ）⊃母子（ｙ、ｘ）
と書けますが、ＲＬではどう表現されますか？
＞＞P,Q,Rは命題ですか？それとも、"述形"ですか？
"述形"ではなくて、"述型"ですよ。(^o^)
ＲＬ(the Reformed Theory of Logic)の場合だと（断固として！）「述型です。
ＦＬ(the Fregean Theory of Logic)の場合は曖昧だと思います。
＞ ＲＬではどう表現されますか？
[ｘが人間である]⇒/x/∃<y>{ｙはｘの母親である}
の筈です。 Wansui, Wansui, WanWansui ＼(-o-)／
＞ >>33
＞ 「Ａ(x)⇒/x/Ｂ(x)」の「/x/」を
＞ 「⇒」の後に書くのは不合理では？自分で書いてて混乱しないの？
「Ａ(ｘ)⇒/x/Ｂ(ｘ)」で、「/x/」の x は「半角英数」で書くか、或いは「⇒」の上にのせて書く。
一方、Ａ(ｘ)やＢ(ｘ)のｘは「全角英数」。
だな。精密に言えば「より強い条件例の上での対偶率」だ｡
>>66 ＞と言うよりも、“二偕の変項”と言ったほうが正確ですね。
つまり、集合論で
∀P,Q.(∀x.(x∈P⊃(x∈Q∨x∈R)))⊃
(∀x.(x∈P⊃x∈Q)∨∀x.(x∈P⊃x∈R)) (1)
と書くのと同じでしょうか？
ところで、述語論理では、(1)は
∀P,Q,x.((x∈P⊃x∈Q∨x∈R)⊃((x∈P⊃x∈Q)∨(x∈P⊃x∈R)) (2)
とは違いますが、その点は御存知でしょうか？
なんが「対偶率」だ｡ 「対偶*律*」やろが（爆笑
＞∀P,Q,x.((x∈P⊃x∈Q∨x∈R)⊃((x∈P⊃x∈Q)∨(x∈P⊃x∈R)) (2)
強いてEURMS風に書けば
￢P(x)∨Q(x)∨R(x)⇒/R,Q,x/(￢P(x)∨Q(x))∨(￢P(x)∨R(x))
か。
>>71
＞∀P,Q,x.((x∈P⊃x∈Q∨x∈R)⊃((x∈P⊃x∈Q)∨(x∈P⊃x∈R)) (2)
強いてEURMS風に書けば
￢P(x)∨Q(x)∨R(x)⇒/R,Q,x/(￢P(x)∨Q(x))∨(￢P(x)∨R(x))
か。
ちゃうワ！
帰ってみたら、トイレが詰まってた ---- ビックリすた。
漏、ワケわからん！！！！
糞して、屁こいて、万個なめて、寝るっｽ !!!!
ﾜﾛﾀ
さぞや*安眠*できたことだろうのう同志ｗ
じゃ、
￢P∨Q∨R⇒/P,Q,R/(￢P∨Q)∨(￢P∨R)
か
＞ >>74
＞ じゃ、
＞ ￢P∨Q∨R⇒/P,Q,R/(￢P∨Q)∨(￢P∨R)
＞ か
Still Strange
Conquer M_SHIRAISHI's Web Page;- http://www.age.ne.jp/x/eurms/Ronri_Kaikaku.html Good Luck !
話がややこしくなるので、用語をＲＬのものに統一して、お答えします；－
＞
＞「Ｐ(ｘ)ならばＱ(ｘ)である」の意味ですが、ＰとＱが、述型変項ではなく、
＞ 述型であるとして云々
答：［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］において、ＰとＱは述型変項(＝二階の変項)です、
述型ではありません。
＞ 性質（つまり述語）を用いず、述型（つまり命題）だけで
＞ 意味を表現できますか？
先ず、「命題は述型ではないし、術型は命題ではい」ことを確認して
おいてください。
述型{ｘは実数である}は、明らかに意味をもちます。しかし、真か偽
のどちらかと問えば、どちらともいえず、ｘがどんな値をとるかによります。
では、
「PでないかQかRか、ならば
PでないかQ か PでないかR のいずれかである」
という文章を、RLで表現してください。
術型は述型の誤りですね。
ではないが、ではいになるなどの打ち間違いも見られます。
精神的に不安定な状況ではネットにアクセスしないほうがいいですよ。
>［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］において、ＰとＱは述型変項(＝二階の変項)です
>述型ではありません。
つまりｘは実数であるのｘが定項ではなく変項ということですね。
その場合、57の文章の解釈
『「Ｐ(ｘ)ならばＱ(ｘ)である」の意味ですが、
ＰとＱが、述型変項ではなく、 述型であるとして』
は間違っています。正しい解釈は
『「Ｐ(ｘ)ならばＱ(ｘ)である」の意味ですが、
ＰとＱが、述型ではなく、"述型に定項を入れたもの"であるとして』
です。
ところで｛０は実数である｝はRLでは何と言うのですか？
命題でいいのですか？
その場合>>84の"述型に定項を入れたもの"は
命題と直してください。
＞＞述型{ｘは実数である}
＞
＞ ところで｛０は実数である｝はＲＬでは何と言うのですか？
＞ 命題でいいのですか？
Yes. ｛０は実数である｝is a proposition.
＞ >>80
＞ では、
＞ 「PでないかQかRか、ならば
＞ PでないかQ か PでないかR のいずれかである」
＞ という文章を、ＲＬで表現してください。
[￢Ｐ(ｘ)ＶＱ(ｘ)ＶＲ(ｘ)] ⇒/p,q,r,x/［￢Ｐ(ｘ)ＶＱ(ｘ)］Ｖ［￢Ｐ(ｘ)ＶＲ(ｘ)］
一応、上掲のようになるが、Still STRANGE ! It is not beautiful, at least,
＞ 超論理法則について
＞ 「必要ではないことは 反例をあげれば済むことなのですが、
＞ 残念ながらそのような反例を見つけてはいません。」
＞ といってるが
＞ http://www.age.ne.jp/x/eurms/Kotae-13.html#00
＞ の後半４行はまさに”反例”だと思うが。
うっかりしてました。ご指摘のとおりです。
メールください。
お礼の品（複数）を差し上げます。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
くっくっく…分かってるなら聞くなよ…流石はコミュ障板ｗｗ
意味補完さえもできない程のコミュ障、コミュニケーションレベル０!!
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
芳雄
現在、事情により、居場所を教えることはできません。悪しからず。
ところで、そちらの住所は、以下のところであってますでしょうか？
ユルムス（ｅｕｒｍｓ）
島根県 西伯郡大山町 下市75
おもしろいサイトを見つけた：－
http://ansaikuropedia.org/wiki/%E7%9F%9B%E7%9B%BE
【原文】
楚人有鬻盾與矛者 譽之曰 吾盾之堅 莫能陷也 又譽其矛曰 吾矛之利 於物無不陷也 或曰
以子之矛 陷子之盾 何如 其人弗能應也
【書き下し文】
楚人に盾と矛とを鬻(hisa)ぐ者あり。之(kore)を誉(ho)めて曰(iwa)く
「吾が盾の堅きこと、能(yo)く陥(to^o)すもの無きなり。」と。
また、その矛を誉めて曰く「わが矛の利なること、物において陥さざることなきなり。」と。
あるひと曰く「子の矛を以て、子の盾を陥さばいかん。」と。その人応ふること能(ata)は
ざるなり。
【現代日本語訳】
楚の国に盾と矛を売っている商人がいた。 自慢して言った：－
「私の盾は頑丈でどんなものも突き通さない。 一方、私の矛は鋭く､どんなものでも突き通す。」
ある客が言った。「あんたの矛をあんたの盾に突き通そうとしたら、どないなるんや？」
商人は、返答に窮してしまい、何も言えなかった。
月星紅旗
ここでは我も
異邦人
詠み人知らず 圖
五省
一 至誠（しせい）に悖る（もと）るなかりしか
一 言行に恥づるなかりしか
一 気力に欠くるなかりしか
一 努力に憾（うら）みなかりしか
一 不精に亘（わた）るなかりしか
TOP カテ一覧 スレ一覧 2ch元 削除依頼 ▲
数学板の在り方とは～2010年の反省会～ (371)
ルベーグ積分や測度論のスレ (299)
猫が語る文科省 (218)
数学が得意な奴に限って勘違いしている事 (287)
暗号数学について語ろう。ROUND 5 (225)
》|||《数学オリンピック 24》|||《 (203)
--log9.info------------------
WiiUの価格は35000円で確定へ。欧州の各アマゾンで価格が掲載されはじめる (342)
【3DSLL】必需品のACアダプターは同梱されず！ 批判意見も (967)
SCE基調講演で明かされたPSVitaとPS3の連動 4Gamer「Wii Uがやろうとしてたことをそのまま実現」 (431)
【PSV】PS VITAの予約のために深夜のヨドバシに150人の行列が発生 (493)
【VITA】サイレントヒル 最新作が日本向けに発表！ (227)
【ステマ死亡】ついに価格.comまでVitaの人気急落を認める！ (235)
【3DS】カプコン、『ロックマンDASH3』を開発中止と発表！ (858)
【3DS】値下げによる任天堂の損失は、ソフトを６本購入してもらわないと取り戻せない (428)
Xbox360がPS2に4連敗！！！ (215)
3DSなど3D商品、人気は飛び出ず・・・岩田社長、悔しさをにじませる (931)
任天堂岩田社長、WiiをPS3と比較し大変な落ち込みようだと語る。 (788)
【業界】SCE「PS VitaのUMD、キャリア、発売日、ソフトのことについては楽しみにして欲しい」 (323)
【業界】カプコン小野氏、PS VITAの発表会でSCEの河野氏にマジギレ (231)
カプコン小野「NGPとPS3の接続を色々考えていて僕らはそれに向けて頑張っている。」 (315)
VGA2011ゲームオブザイヤー、『The Elder Scrolls V: Skyrim』に決定！ (205)
【業界】名越「龍が如く5は、フルモデルチェンジをする。ゲームの設計を変えるので時間がかかる」 (325)
--log55.com------------------
なんJお絵描き部★52
なんJ お花部★27
【HKT卒業生】さっしーこと指原莉乃 実況スレ☆434
なんJMNST部★198
なんj EXVS部 ☆8
なんJFITGRNDOD部
AKB48 公演配信 ★234
なんJPRCR部★29
