397コメント142KB

論理学

■ このスレッドは過去ログ倉庫に格納されています

0001１３２人目の素数さん

2011/11/06(日) 19:45:10.39

なかったので立てました

0002KingMathematician ◆5lHaaEvFNc

2011/11/06(日) 22:00:49.67

A and not B は AがBを内含しない条件になる.
一方, not A or B は AがBを内含することになるとは限らない.
「2は素数でないか3は素数である」は成り立つが,2が素数であることは3が素数であることを内含しない.

A⇒A,A⇒BかつB⇒CのときA⇒C は正しい.

0003１３２人目の素数さん

2011/11/06(日) 22:49:29.05

らしい

0004１３２人目の素数さん

2011/11/08(火) 20:23:35.11

どうも、「M_SHIRAISHI氏(つーか、ＥＵＲＭＳ)の理論」のほうが正しいようだな。

例えば、対偶律は、従来は、 (Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) で表わされるもののこと
と考えられていたのだっただが、これは、どうやら、誤りだったようだ。そして
M_SHIRAISHI氏の言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］⇒/p,q/［￢Ｑ(ｘ)⇒/x/￢Ｐ(ｘ)］
こそが、対偶律を正しく捉えてたものと考えられる。

M_SHIRAISHI氏（たち？）の主張する「論理革命」は、おそらく、世界を席巻
することとなろう。

0005１３２人目の素数さん

2011/11/08(火) 23:49:42.95

哲学板の巣に戻れよ

0006１３２人目の素数さん

2011/11/09(水) 14:48:05.89

㌧デモと見える学説に対しては、、一般論として、我々は慎重でなければならないと思う。

学問の歴史を振り返ってみれば、最初は、大多数の人間には、㌧デモと思われていた学説が、
のちのち、定説となったものが「実に多い」からだ。

有名なところでは、地*球*説にしてしかり、地動説にしてしかり、大陸移動説にしてしかり。

ド・プロイの電子波説にしても、提唱された当初は、物理学者一般には「物笑いの種」だった
し、また、アインシュタインの特殊相対性理論の場合も、最初は、トップクラス物理学者の中
のごく一部の人に認められただけだったという歴史的事実を直視すべきだろう。

ここで、ネット数学四天王と呼ばれている面々について考えてみると、まず、マツシン先生に
ついては、見るべき理論は無いので、論外として、イマイ爺の場合は、一応、独自の"理論"は
立てているが、なにせ、「程度が低くて」問題にならない。むしろ、それを読んだ中・高生
に"害"を及ぼす怖れのほうが大きいと思われる。一方、ヤマジンにの例の"証明"のほうは、
㌧デモのままで終わると見て間違いないだろう。

注目すべきは、エムシラ理論だろう。四色定理の証明や不可完全性定理についての論考さえも
隅っこ扱いされているような、壮大な理論で、ちょっと判断に迷うが、ひょっとすればひょっと
するという気持ちを抱かせる「何か」がある。ケンブリッジで講演する予定のようだけど、
ケンブリッジを席巻してしまう可能性、無きにしもあらずだろう。今後、何年後以降からは、
世界の論理学の教科書はすべてエムシラ理論に準拠したものになる*かも*知れない。

http://www.age.ne.jp/x/eurms/RONRI-J02.html#E-Books

0007１３２人目の素数さん

2011/11/11(金) 07:05:49.40

どうも、「M_SHIRAISHI氏(つーか、ＥＵＲＭＳ)の理論」のほうが正しいようだな。

例えば、対偶律は、従来は、 (Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) で表わされるもののこと
と考えられていたのだっただが、これは、どうやら、誤りだったようだ。そして
M_SHIRAISHI氏の言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］⇒/p,q/［￢Ｑ(ｘ)⇒/x/￢Ｐ(ｘ)］
こそが、対偶律を正しく捉えてたものと考えられる。

M_SHIRAISHI氏（たち？）の主張する【論理改革】は、おそらく、世界を席巻
することとなろう。

http://www.age.ne.jp/x/eurms/RONRI-J02.html#E-Books

0008１３２人目の素数さん

2011/11/11(金) 11:35:46.21

ゴミはゴミ捨て場の哲学板へ捨てるように。

0009＾

2011/11/11(金) 22:47:06.53

論理法則とは、そも、何ぞや？

In the first place, what does a logical law mean ?

0010１３２人目の素数さん

2011/11/12(土) 13:03:38.41

ことがらＡ，Ｂ，Ｃ，Ｄが在り、これらについて次の２つの関係が成り立って
いるものとする。

　　(ｲ) Ａであれば、Ｂか又はＣである。

　　(ﾛ) Ｄであれば、ＢでもＣでもない。

このとき、以下の主張 (1) ～ (8) のうち正しいものを列挙せよ。尚、解法も述べよ。

　　(1) Ｄでなければ、Ａではない。

(2) Ｃであれば、Ｄではない。

(3) Ａでなければ、Ｄでないか又はＢではない。

(4) Ａでなければ、Ｄではない。

(5) Ｂでなければ、Ａでないか又はＤである。

(6) Ｂでなければ、Ａでないか又はＣである。

(7) Ｂであれば、Ｃではなく、Ｄでもない。　

(8) ［Ｂでなければ、Ｄではない］か又は［Ｄでなければ、Ｂではない］

0011１３２人目の素数さん

2011/11/12(土) 21:30:03.35

>>4
それって、集合論じゃん。

∀p,q.(∀x.(x∈p⇒x∈q))⇒(∀y.(￢y∈q⇒￢y∈p))

0012１３２人目の素数さん

2011/11/12(土) 21:45:13.42

ところで、これは証明できるかな。
∀x.￢x∈x⇒∀x∃y.￢y∈x

「いかなる集合xも、自分自身を要素として含まないのであれば
　いかなる集合xについても、それぞれ、xの要素とならない集合yが存在する。」

（ヒント）どんなyが条件を満たすか考えよ。

0013１３２人目の素数さん

2011/11/13(日) 06:05:10.97

>>12
＞ ∀x.￢x∈x⇒∀x∃y.￢y∈x

意味不明！！！！

0014１３２人目の素数さん

2011/11/13(日) 08:20:11.54

ベルトランの逆説に関しての議論で、M.Shiraishi氏が自爆したようなこと
を書いているヤシがいるけど、そいつって、マツシン並みの間抜けだよな（ｗ

M.Shiraishi氏は、「ベルトランの逆説に関しての従来の通説は間違いである
ことに気づいた」と言い出し、「この逆説は、確率の従来の定義が間違って
いたことによるものだ」として、議論を決着させている。

自爆どころか、２０世紀の確率論の基礎を覆す、凄い発見というべきだろう。

http://www.age.ne.jp/x/eurms/Bertrand.html

0015１３２人目の素数さん

2011/11/13(日) 10:33:18.43

>>13
ああ、限量子を知らない素人だったか。

「Ｐ(ｘ)⇒/x/Ｑ(ｘ)」を、数学では∀x．P(x)⇒Q(x)って書くんだよ。

で、∃x.(P(x)＆Q(x))は、￢∀x．P(x)⇒￢Q(x)だな。

ＭＳの記法では、「￢（Ｐ(ｘ)⇒/x/￢Ｑ(ｘ)）」となるだろう。

0016１３２人目の素数さん

2011/11/13(日) 10:45:35.73

それから、中置記法がダメなら、全部、前置記法に直してやるぞ
ａ∈ｂを、Ｅ（ａ，ｂ）とすればいいだけのこと。

つまり、∀x.￢x∈x⇒∀x∃y.￢y∈x は
∀x.￢Ｅ(x,x)⇒∀x∃y.￢Ｅ(y,x)

もっとわかりやすく書けば
∀x.(￢Ｅ(x,x)⇒∃y.￢Ｅ(y,x))

ここまで書けば答えはミエミエだろう。

0017１３２人目の素数さん

2011/11/13(日) 12:39:55.53

ﾐｴﾐｴだが、それがどーすた？

0018１３２人目の素数さん

2011/11/13(日) 13:04:00.41

>>9
>
> 論理法則とは、そも、何ぞや？
>
> In the first place, what does a logical law mean ?

文がトートロジーであることを証明する道具

0019１３２人目の素数さん

2011/11/13(日) 16:44:25.62

>>17
したがって意味不明は思考欠如によるものだと証明されたｗ

0020１３２人目の素数さん

2011/11/13(日) 16:46:17.64

>>18
一つ質問しよう。

論理法則によりトートロジーが証明される
という保証はいかにして行うのか？

0021１３２人目の素数さん

2011/11/13(日) 21:27:42.51

どうも、「M_SHIRAISHI氏(つーか、ＥＵＲＭＳ)の理論」のほうが正しいようだな。

例えば、対偶律は、従来は、 (Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) で表わされるもののこと
と考えられていたのだっただが、これは、どうやら、誤りだったようだ。そして
M_SHIRAISHI氏の言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］⇒/p,q/［￢Ｑ(ｘ)⇒/x/￢Ｐ(ｘ)］
こそが、対偶律を正しく捉えてたものと考えられる。

M_SHIRAISHI氏（たち？）の主張する【論理改革】は、おそらく、世界を席巻
することとなろう。

http://www.age.ne.jp/x/eurms/RONRI-J02.html#E-Books

0022１３２人目の素数さん

2011/11/14(月) 04:53:44.64

>>8 ：１３２人目の素数さん：2011/11/13(日) 13:04:00.41
＞ >>9
＞ >
＞ > 論理法則とは、そも、何ぞや？
＞ >
＞ > In the first place, what does a logical law mean ?
＞
＞文がトートロジーであることを証明する道具

つーか、論理法則ってのは、トートロジー自体のことではないのか？

0023１３２人目の素数さん

2011/11/14(月) 12:23:39.81

>>22
＞論理法則ってのは、トートロジー自体のことではないのか？

No !

(Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) は tautology であり。

“(ＰならばＱである)ならば、(ＱでないならばＰではない)”が成立する。

しかし、[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] は tautology であるのに

“ＰならばＱかＲであるならば、ＰならばＱかまたはＰならばＲである”は

成立しない。

0024１３２人目の素数さん

2011/11/14(月) 12:25:24.10

直観主義論理を知らんのか

0025１３２人目の素数さん

2011/11/14(月) 12:28:55.29

>>22
＞論理法則ってのは、トートロジー自体のことではないのか？

No !

(Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) は tautology であり。
“(ＰならばＱである) ならば (ＱでないならばＰではない)”が成立する。

しかし、[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] は tautology であるのに
“[ＰならばＱかＲである] ならば、[ＰならばＱ] か又は [ＰならばＲ]である”
は成立しない。

0026１３２人目の素数さん

2011/11/15(火) 07:14:06.62

>>25
＞[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] は tautology であるのに
＞“ＰならばＱかＲであるならば、ＰならばＱかまたはＰならばＲである”
＞は成立しない。

「ＰならばＱ」と「Ｐを前提としてＱが導ける」は同値だが。
「ＰならばＱ、かまたは、ＰならばＲである」は
「Ｐを前提としてＱが導ける、かまたは、Ｐを前提としてＲが導ける」と
同値ではないよ。
後者から前者はいえるが、前者から後者はいえない。

0027１３２人目の素数さん

2011/11/15(火) 07:19:37.11

>>25-26
端的にいえば、
Ｐ∨￢Ｐ（Ｐまたは￢Ｐ）は tautology だからといって、
Ｐが前提なしに導ける、かまたは、￢Ｐが前提なしに導ける、
といえるわけではない。

0028１３２人目の素数さん

2011/11/15(火) 07:33:53.29

>>25
あと、もしＡ⊃Ｂを∀x.(A(x)⊃B(x))と理解しているなら、
[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)]　が tautology　であっても
∀x.[P(x)⊃(Q(x)ＶR(x))]⊃[∀x.(P(x)⊃Q(x))Ｖ∀x.(P(x)⊃R(x))]
は　述語論理の恒真式　ではないから、その理解は誤解だよ。

0029１３２人目の素数さん

2011/11/15(火) 07:38:05.02

>>28
ＥＵＲＭＳの活動が、Ａ⊃Ｂを∀x.(A(x)⊃B(x))と"定義"した上で、
その"定義"において正しくなる論理規則を、「新しい論理」とする
ということなら、まあ、やってごらん、というところだな。

ケンブリッジからお呼びがかかるかどうかはわからないけど。

0030官軍（一兵卒）(＾o＾)

2011/11/15(火) 12:31:20.54

>>28 ：１３２人目の素数さん：2011/11/15(火) 07:33:53.29
＞　>>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 !

0031)

2011/11/15(火) 12:33:36.08

ことがらＡ，Ｂ，Ｃ，Ｄが在り、これらについて次の２つの関係が成り立って
いるものとする。

　　(ｲ) Ａであれば、Ｂか又はＣである。

　　(ﾛ) Ｄであれば、ＢでもＣでもない。

このとき、以下の主張 (1) ～ (8) のうち正しいものを列挙せよ。尚、解法も述べよ。

(1) Ｄでなければ、Ａではない。

(2) Ｃであれば、Ｄではない。

(3) Ａでなければ、Ｄでないか又はＢではない。

(4) Ａでなければ、Ｄではない。

(5) Ｂでなければ、Ａでないか又はＤである。

(6) Ｂでなければ、Ａでないか又はＣである。

(7) Ｂであれば、Ｃではなく、Ｄでもない。　

(8) ［Ｂでなければ、Ｄではない］か又は［Ｄでなければ、Ｂではない］

0032１３２人目の素数さん

2011/11/15(火) 15:19:08.30

命題Ｐ(α) と命題Ｑ(α) とが矛盾するとき、
次の（１）～（４）のうち、正しいものを選べ：－

（１）Ｐ(α) , Ｑ(α) のうち、いずれか一方は真で
あり他方は偽である。

（２）Ｐ(α) , Ｑ(α) は、「共に真」ではありえない。
（３）Ｐ(α) , Ｑ(α) は、「共に偽」ではありえない。
（４）Ｐ(α) , Ｑ(α) のうち、少なくとも一方は偽である。

0033官軍（一兵卒）(＾o＾)

2011/11/15(火) 15:45:49.09

>>29 ：１３２人目の素数さん：2011/11/15(火) 07:38:05.02
＞
＞Ａ⊃Ｂを∀x.(A(x)⊃B(x))と"定義"した上で、

Ａ(x)⇒/x/Ｂ(x) を ∀x.(Ａ(x)⊃Ｂ(x))と"定義"した上で、

0034１３２人目の素数さん

2011/11/15(火) 15:51:59.02

>>33
「Ａ(x)⇒/x/Ｂ(x)」の「/x/」を
「⇒」の後に書くのは不合理では？自分で書いてて混乱しないの？

0035官軍（一兵卒）(＾o＾)

2011/11/16(水) 05:58:19.35

「Ａ(x)⇒/x/Ｂ(x)」の「/x/」⇒」の後に書くのは不合理では？
Ｃ{Ａ(x)}⊆Ｃ{Ｂ(x)}　を意味する、
御大の記法だよ。http://www.age.ne.jp/x/eurms/Honron-3.html#02-3

0036官軍（一兵卒）(＾o＾)

2011/11/16(水) 06:19:39.41

>>34 ：１３２人目の素数さん：2011/11/15(火) 15:51:59.02
＞ >>33
＞「Ａ(x)⇒/x/Ｂ(x)」の「/x/」を
＞「⇒」の後に書くのは不合理では？自分で書いてて混乱しないの？

Ｃ{Ａ(x)}⊆Ｃ{Ｂ(x)}を意味する、
御大の記法だよ。仮言変項が何であるかがわかって、それなりに合理的。
http://www.age.ne.jp/x/eurms/Honron-3.html#02-3

0037１３２人目の素数さん

2011/11/16(水) 06:45:13.93

ところで
「ＰならばＱ、かつ、ＰならばＲ　ならば　Ｐならば（ＱかつＲ）」
の最初の「かつ」と、二番目の（ＱかつＲ）の「かつ」は、どう違う？

0038１３２人目の素数さん

2011/11/16(水) 06:56:04.11

(∀x.P(x)⊃(Q(x)∩R(x)))　と
(∀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))　は　いえる　が、逆は不可。

それで？

0039１３２人目の素数さん

2011/11/16(水) 07:22:57.91

超論理法則について
「必要ではないことは反例をあげれば済むことなのですが、
　残念ながらそのような反例を見つけてはいません。」
といってるが
http://www.age.ne.jp/x/eurms/Kotae-13.html#00
の後半４行はまさに”反例”だと思うが。

0040１３２人目の素数さん

2011/11/16(水) 07:31:32.01

>>39　
それとも、(P⊃(Q∪R))⊃((P⊃Q)∪(P⊃R))　と
(∀x.P(x)⊃(Q(x)∪R(x)))⊃((∀x.P(x)⊃Q(x))∪(∀x.P(x)⊃R(x)))　は
異なる（前者はトートロジーだが後者はそうではない）ことを
認めているということか？

0041１３２人目の素数さん

2011/11/17(木) 04:34:52.49

>>40

Yes.

0042１３２人目の素数さん

2011/11/17(木) 16:49:21.01

>>35
自分のことを「御大」と呼ぶとは白石はマジ基地だなｗｗｗ
同じ白石でも白石ひとみとはエラい違いだｗｗｗ

0043^

2011/11/18(金) 02:47:06.62

>>42 は、松芯痰　(^o^)

0044１３２人目の素数さん

2011/11/18(金) 02:52:29.04

0045１３２人目の素数さん

2011/11/18(金) 03:32:25.75

マツシン痰は、教科書に書いてあるんだから、それが正しんだって
頭(atama)から信じ込んじゃって、今の理論には矛盾があるってこと
すら気が付なかった！

0046１３２人目の素数さん

2011/11/18(金) 14:33:45.93

電波テロ装置の戦争(始)
エンジニアと参加願います公安はサリンオウム信者の子供を40歳まで社会から隔離している
オウム信者が地方で現在も潜伏している
それは新興宗教を配下としている公安の仕事だ
発案で盗聴器を開発したら霊魂が寄って呼ぶ来た
<電波憑依>
スピリチャル全否定なら江原三輪氏、高橋佳子大川隆法氏は、幻聴で強制入院矛盾する日本宗教と精神科
<コードレス盗聴>
2004既に国民20%被害250～700台数中国工作員3～7000万円2005ソウルコピー2010ソウルイン医者アカギ絡む<盗聴証拠>
今年５月に日本の警視庁防課は被害者SDカード15分を保持した有る国民に出せ!!<創価幹部>
キタオカ1962年東北生は二十代で2人の女性をレイプ殺害して入信した創価本尊はこれだけで潰せる<<<韓国工作員鸛<<<創価公明党 <テロ装置>>東芝部品)>>ヤクザ<宗教<同和<<公安<<魂複<<官憲>日本終Googl検索

0047１３２人目の素数さん

2011/11/18(金) 16:11:56.17

魂は幾何学

誰か(アメリカ)気づいた
ソウルコピー機器

テロ装置の再読願います

0048１３２人目の素数さん

2011/11/19(土) 04:39:33.75

>>42
＞同じ白石でも白石ひとみとはエラい違い

そうやな。　御大は、自分の全裸画像を公開するような「恥知らず」ではないからな。　ヽ(^。^)ノ

http://www5b.biglobe.ne.jp/~tonden/Actress01/80y/pages/shirahitomi21.html

0049１３２人目の素数さん

2011/11/19(土) 10:46:21.22

この世をば
地獄とぞ思う
新月の
全部欠けてお先真っ暗

　　　　　　　松芯痰　圖

0050１３２人目の素数さん

2011/11/19(土) 11:34:05.66

>>45
＞今の理論には矛盾がある

上記の矛盾とは、ズバリ、
「(P⊃(Q∪R))⊃((P⊃Q)∪(P⊃R))がトートロジーだが
　(∀x.P(x)⊃(Q(x)∪R(x)))⊃((∀x.P(x)⊃Q(x))∪(∀x.P(x)⊃R(x)))
　はそうではない」
という事実を指しているのでしょうか？

で、仮にそうだとして、どこが矛盾でしょうか？

0051官軍（一兵卒）(^o^)

2011/11/19(土) 15:33:16.69

(Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) は tautology であり。

“(ＰならばＱである)ならば、(ＱでないならばＰではない)”が成立する。

しかし、[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] は tautology であるのに

“ＰならばＱかＲであるならば、ＰならばＱかまたはＰならばＲである”は

成立しない。

0052１３２人目の素数さん

2011/11/19(土) 15:35:58.97

>>51
P, Q, R は例えば何ですか？

0053官軍（一兵卒）(^o^)

2011/11/19(土) 15:43:54.05

>>52 ：１３２人目の素数さん：2011/11/19(土) 15:35:58.97
>>51
P, Q, R は例えば何ですか？

P, Q, R は論理式。　論理式の例：－ＡｖＢ

0054１３２人目の素数さん

2011/11/19(土) 15:53:44.27

>>53
どんな論理式でもいいんですか？

0055１３２人目の素数さん

2011/11/19(土) 16:45:35.63

>>51
>>51
>[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] は tautology であるのに
>“ＰならばＱかＲであるならば、ＰならばＱかまたはＰならばＲである”
>は成立しない。

>>53
>P, Q, R は論理式。

Ｐ，Ｑ，Ｒは、性質ではなく、論理式なんですね？

例えば「攝津の住人ならば、大阪府民か兵庫県民」という場合
Ｐは「摂津の住人」という性質、ではなく、
「ある人物ｘが摂津の住民である」という
命題（論理式）なんですね？

0056１３２人目の素数さん

2011/11/19(土) 16:47:53.78

なぜにその確認

0057１３２人目の素数さん

2011/11/19(土) 16:48:37.25

ああ、それから「ＰならばＱ」の意味ですが、
ＰとＱが、性質ではなく、論理式であるとして
もし、「ＰであってＱでない、ということはない」
という意味でないとしたら、どういう意味だと
いいたいのでしょうか？

性質（つまり述語）を用いず、論理式（つまり命題）だけで
意味を表現できますか？

0058１３２人目の素数さん

2011/11/19(土) 16:59:26.63

要は、古典論理ではなく直観主義論理をスタンダードにすべきだ
というようなことが言いたいのだろうから、２つの差異を明らかにするには命題論理の範囲でいいんじゃない？

0059１３２人目の素数さん

2011/11/19(土) 17:26:03.84

>>48
> >>42
> ＞同じ白石でも白石ひとみとはエラい違い

白石ひとみは神
白石御大はゴミ

0060１３２人目の素数さん

2011/11/19(土) 17:58:07.69

>>56
“ＰならばＱかＲであるならば、ＰならばＱかまたはＰならばＲである”を
(∀x.P(x)⊃(Q(x)∪R(x)))⊃((∀x.P(x)⊃Q(x))∪(∀x.P(x)⊃R(x)))　とは
考えていないと確認したかった。

0061１３２人目の素数さん

2011/11/19(土) 18:12:18.30

>>58
EURMSの目的が直観主義の用語とは思えない。

直接的には（Ｐ⊃（Ｑ⊃Ｒ））のような表現を否定したいようだ。
「ならば」の意味を、集合の包含関係に関連付ける意図は
そこにあると思われる。

0062EURMS

2011/11/20(日) 05:07:33.62

>>61 ：１３２人目の素数さん：2011/11/19(土) 18:12:18.30
＞ >>58
＞ＥＵＲＭＳの目的が直観主義の用語とは思えない。
＞
＞直接的には（Ｐ⊃（Ｑ⊃Ｒ））のような表現を否定したいようだ。
＞「ならば」の意味を、集合の包含関係に関連付ける意図は
＞そこにあると思われる。

You are Quite Right.

# We would like you to join us if you do not mind.

0063官軍（一兵卒）(^o^)

2011/11/20(日) 07:59:57.43

>>57 ：１３２人目の素数さん：2011/11/19(土) 16:48:37.25
＞ああ、それから「ＰならばＱ」の意味ですが、
＞ＰとＱが、性質ではなく、論理式であるとして
＞もし、「ＰであってＱでない、ということはない」
＞という意味でないとしたら、どういう意味だと
＞いいたいのでしょうか？
　＞
＞性質（つまり述語）を用いず、論理式（つまり命題）だけで
　＞意味を表現できますか？

「論理式」というは、ＦＬ(the Fregean Theory of Logic) での用語であって、
ＲＬ(the Reformed Theory of Logic)では、廃語。　
代わりに「述型」という。　何で廃語としたかと言えば、命題と論理式との
区別がイマイチはっきりしていないから。

［私は摂津の住民である］は命題。ｘを変項とするとき、[ｘは摂津の住民である]
は、命題ではなくて、述型。

# 今、忙しいので、残りの質問には私が後でお答えします。４日間ぐらい待ってね。ヽ(^。^)ノ

0064１３２人目の素数さん

2011/11/20(日) 09:09:36.75

>>53　
＞P, Q, R は論理式。
>>63　
＞「論理式」というは、ＦＬ(the Fregean Theory of Logic) での用語
＞であって、ＲＬ(the Reformed Theory of Logic)では、廃語。　
＞代わりに「述型」という。　何で廃語としたかと言えば、
＞命題と論理式との区別がイマイチはっきりしていないから。
＞［私は摂津の住民である］は命題。
＞ｘを変項とするとき、[ｘは摂津の住民である] は、
＞命題ではなくて、述型。

その場合、53の回答は、どう改められますでしょうか？
P,Q,Rは命題ですか？それとも、"述形"ですか？

ところで、
「ｘが人間であるなら、ｘを生んだ母親ｙがいる。」
という文章は、述語論理では、例えば
∀ｘ．∃ｙ．人間（ｘ）⊃母子（ｙ、ｘ）
と書けますが、ＲＬではどう表現されますか？

0065官軍（女性軍「中尉」）(^o^)

2011/11/20(日) 14:47:41.80

>>64
＞＞P,Q,Rは命題ですか？それとも、"述形"ですか？

"述形"ではなくて、"述型"ですよ。(^o^)

ＲＬ(the Reformed Theory of Logic)の場合だと（断固として！）「述型です。
ＦＬ(the Fregean Theory of Logic)の場合は曖昧だと思います。

0066官軍（女性軍「中尉」）(^o^)

2011/11/20(日) 15:36:15.32

と言うよりも、“二偕の変項”と言ったほうが正確ですね。

0067官軍（女性軍「中尉」）

2011/11/20(日) 19:58:05.57

>>64
＞ＲＬではどう表現されますか？

[ｘが人間である]⇒/x/∃<y>{ｙはｘの母親である}

の筈です。　Wansui, Wansui, WanWansui ＼(-o-)／

0068１３２人目の素数さん

2011/11/20(日) 20:02:58.35

Wansui, Wansui, WanWansui って、何語でどういう意味よ？？？？

0069官軍（中尉）

2011/11/20(日) 20:27:03.08

>>34 ：１３２人目の素数さん：2011/11/15(火) 15:51:59.02
＞ >>33
＞「Ａ(x)⇒/x/Ｂ(x)」の「/x/」を
＞「⇒」の後に書くのは不合理では？自分で書いてて混乱しないの？

「Ａ(ｘ)⇒/x/Ｂ(ｘ)」で、「/x/」の x は「半角英数」で書くか、或いは「⇒」の上にのせて書く。

一方、Ａ(ｘ)やＢ(ｘ)のｘは「全角英数」。

0070１３２人目の素数さん

2011/11/21(月) 00:29:49.51

>>11
だな。精密に言えば「より強い条件例の上での対偶率」だ｡

0071１３２人目の素数さん

2011/11/21(月) 07:31:11.88

>>65　＞ＲＬ(the Reformed Theory of Logic)の場合だと（断固として！）述型です。
>>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)
とは違いますが、その点は御存知でしょうか？

0072１３２人目の素数さん

2011/11/21(月) 16:10:06.15

>>70
なんが「対偶率」だ｡　「対偶*律*」やろが（爆笑

0073１３２人目の素数さん

2011/11/21(月) 21:01:53.63

>>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))
か。

0074官軍　「（女性軍）中尉」(^o^)

2011/11/22(火) 12:41:10.22

>>73 ：１３２人目の素数さん：2011/11/21(月) 21:01:53.63
>>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))
か。

ちゃうワ！

0075(^o^)

2011/11/22(火) 19:31:46.32

帰ってみたら、トイレが詰まってた ---- ビックリすた。

0076１３２人目の素数さん

2011/11/22(火) 22:07:21.92

漏、ワケわからん！！！！

糞して、屁こいて、万個なめて、寝るっｽ !!!!

0077」

2011/11/23(水) 06:18:14.97

>>76
ﾜﾛﾀ

0078１３２人目の素数さん

2011/11/23(水) 06:30:51.26

>>76

さぞや*安眠*できたことだろうのう同志ｗ

0079１３２人目の素数さん

2011/11/23(水) 08:21:10.73

>>74
じゃ、
￢P∨Q∨R⇒/P,Q,R/(￢P∨Q)∨(￢P∨R)
か

0080官軍（女性軍「中尉」）

2011/11/23(水) 12:32:26.00

>>79 ：１３２人目の素数さん：2011/11/23(水) 08:21:10.73
＞ >>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 !

0081官軍（一兵卒）(＾o＾)

2011/11/24(木) 03:25:04.01

>>57 ：１３２人目の素数さん：(土)19_xi_2011, 04:48:37.25 pm, JMT.

　話がややこしくなるので、用語をＲＬのものに統一して、お答えします；－
＞
＞「Ｐ(ｘ)ならばＱ(ｘ)である」の意味ですが、ＰとＱが、述型変項ではなく、
＞述型であるとして云々

答：［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］において、ＰとＱは述型変項(＝二階の変項)です、
述型ではありません。

＞性質（つまり述語）を用いず、述型（つまり命題）だけで
＞意味を表現できますか？

先ず、「命題は述型ではないし、術型は命題ではい」ことを確認して
おいてください。

述型{ｘは実数である}は、明らかに意味をもちます。しかし、真か偽
のどちらかと問えば、どちらともいえず、ｘがどんな値をとるかによります。

0082１３２人目の素数さん

2011/11/24(木) 06:45:31.67

>>80
では、
「PでないかQかRか、ならば
　PでないかQ　か　PでないかR　のいずれかである」
という文章を、RLで表現してください。

0083１３２人目の素数さん

2011/11/24(木) 06:51:01.09

>>81
術型は述型の誤りですね。
ではないが、ではいになるなどの打ち間違いも見られます。
精神的に不安定な状況ではネットにアクセスしないほうがいいですよ。

0084１３２人目の素数さん

2011/11/24(木) 06:56:54.96

>>81
>［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］において、ＰとＱは述型変項(＝二階の変項)です
>述型ではありません。

つまりｘは実数であるのｘが定項ではなく変項ということですね。

その場合、57の文章の解釈
『「Ｐ(ｘ)ならばＱ(ｘ)である」の意味ですが、
　　ＰとＱが、述型変項ではなく、述型であるとして』
は間違っています。正しい解釈は
『「Ｐ(ｘ)ならばＱ(ｘ)である」の意味ですが、
　　ＰとＱが、述型ではなく、"述型に定項を入れたもの"であるとして』
です。

0085１３２人目の素数さん

2011/11/24(木) 06:59:41.59

＞述型{ｘは実数である}

ところで｛０は実数である｝はRLでは何と言うのですか？
命題でいいのですか？

その場合>>84の"述型に定項を入れたもの"は
命題と直してください。

0086官軍（女性軍「中尉」）(＾o＾)

2011/11/24(木) 09:25:39.39

85 ：１３２人目の素数さん：2011/11/24(木) 06:59:41.59
＞＞述型{ｘは実数である}
　＞
＞ところで｛０は実数である｝はＲＬでは何と言うのですか？
＞命題でいいのですか？

Yes.　｛０は実数である｝is a proposition.

0087官軍（一兵卒）

2011/11/24(木) 17:19:07.91

>>82 ：１３２人目の素数さん：2011/11/24(木) 06:45:31.67
＞ >>80
＞では、
＞「PでないかQかRか、ならば
＞　PでないかQ　か　PでないかR　のいずれかである」
＞という文章を、ＲＬで表現してください。

[￢Ｐ(ｘ)ＶＱ(ｘ)ＶＲ(ｘ)] ⇒/p,q,r,x/［￢Ｐ(ｘ)ＶＱ(ｘ)］Ｖ［￢Ｐ(ｘ)ＶＲ(ｘ)］

一応、上掲のようになるが、Still STRANGE ! It is not beautiful, at least,

0088M_SHIRAISHI

2011/11/24(木) 17:30:57.75

>>39 ：１３２人目の素数さん：2011/11/16(水) 07:22:57.91
＞超論理法則について
＞「必要ではないことは反例をあげれば済むことなのですが、
＞　残念ながらそのような反例を見つけてはいません。」
＞といってるが
＞　 http://www.age.ne.jp/x/eurms/Kotae-13.html#00
＞の後半４行はまさに”反例”だと思うが。

うっかりしてました。ご指摘のとおりです。　

メールください。　

お礼の品（複数）を差し上げます。

0089１３２人目の素数さん

2011/11/24(木) 21:54:31.97

藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。

0090１３２人目の素数さん

2011/11/24(木) 23:15:00.52

>>72
くっくっく…分かってるなら聞くなよ…流石はコミュ障板ｗｗ
意味補完さえもできない程のコミュ障、コミュニケーションレベル０!!

0091１３２人目の素数さん

2011/11/24(木) 23:20:50.53

論理と集合を綯い交ぜにせんとするMad_Mathemaktician、Ｍ白

0092猫にコネは不必要 ◆MuKUnGPXAY

2011/11/25(金) 00:25:03.54

猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。

猫

0093１３２人目の素数さん

2011/11/25(金) 00:25:24.00

猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。

芳雄

0094１３２人目の素数さん

2011/11/25(金) 07:26:25.78

>>62　>>88
現在、事情により、居場所を教えることはできません。悪しからず。
ところで、そちらの住所は、以下のところであってますでしょうか？

ユルムス（ｅｕｒｍｓ）
島根県西伯郡大山町下市75

0095１３２人目の素数さん

2011/11/25(金) 07:59:43.49

おもしろいサイトを見つけた：－

http://ansaikuropedia.org/wiki/%E7%9F%9B%E7%9B%BE

0096１３２人目の素数さん

2011/11/25(金) 10:07:38.41

― 『韓非子』難編（一）

【原文】

楚人有鬻盾與矛者譽之曰吾盾之堅莫能陷也又譽其矛曰吾矛之利於物無不陷也或曰
以子之矛陷子之盾何如其人弗能應也

【書き下し文】

楚人に盾と矛とを鬻(hisa)ぐ者あり。之(kore)を誉(ho)めて曰(iwa)く
「吾が盾の堅きこと、能(yo)く陥(to^o)すもの無きなり。」と。
また、その矛を誉めて曰く「わが矛の利なること、物において陥さざることなきなり。」と。
あるひと曰く「子の矛を以て、子の盾を陥さばいかん。」と。その人応ふること能(ata)は
ざるなり。

【現代日本語訳】

楚の国に盾と矛を売っている商人がいた。自慢して言った：－

「私の盾は頑丈でどんなものも突き通さない。　一方、私の矛は鋭く､どんなものでも突き通す。」

ある客が言った。「あんたの矛をあんたの盾に突き通そうとしたら、どないなるんや？」

商人は、返答に窮してしまい、何も言えなかった。

0097１３２人目の素数さん

2011/11/25(金) 13:42:52.38

月星紅旗
ここでは我も
異邦人

詠み人知らず　圖

0098１３２人目の素数さん

2011/11/25(金) 16:37:04.89

五省

一　至誠（しせい）に悖る（もと）るなかりしか

一　言行に恥づるなかりしか

一　気力に欠くるなかりしか

一　努力に憾（うら）みなかりしか

一　不精に亘（わた）るなかりしか

0099１３２人目の素数さん

2011/11/25(金) 17:41:38.92

>>91 は、松芯痰　ｗ

0100１３２人目の素数さん

2011/11/26(土) 16:26:35.92

倭の国に盾と矛を売っている商人がいた。自慢して言った：－

「私の盾は頑丈でどんなものも突き通さない。　一方、私の矛は鋭く､どんなものでも突き通す。」

ある客が言った。「あんたの矛をあんたの盾に突き通そうとしたら、どないなるんや？」

商人はこう答えた。
「いい忘れてましたが、盾が突き通さないものの中に私の矛は含まれません。
　また、矛が突き通せるものの中に私の盾は含まれません。
　私の矛で私の盾が突き通せるか否かについてはわかりません。
　両方お買い上げいただければ、お客様自ら御確認できます。いかがですか？」

客曰く　「ギャフン！」

0101１３２人目の素数さん

2011/11/26(土) 16:54:47.24

ところで、EURMSでは「P(a) -3 Q(a)」なる表現で
P(x)⇒/x/Q(x)が成立し、かつaなる項が存在する
ことを表わしているようですが、この表現は
必要でしょうか？

P(a)からQ(a)を導く法則としては
(P(x)⇒/x/Q(x)＆P(a))⇒/P,Q/Q(a)
を示せばよいだけかと思われますが、如何でしょうか？

0102１３２人目の素数さん

2011/11/26(土) 17:22:07.13

>>100
また大阪人無敵伝説

0103１３２人目の素数さん

2011/11/27(日) 07:53:26.94

>>100
ﾜﾛﾀ

0104１３２人目の素数さん

2011/11/27(日) 08:16:39.66

>>54 ：１３２人目の素数さん：2011/11/19(土) 15:53:44.27
＞ >>53
＞どんな論理式でもいいんですか？

主語が省略されているので、イマイチ、意味が分かりません。　(^o^)

0105１３２人目の素数さん

2011/11/27(日) 08:18:44.33

>>102-103
いいわすれてましたが、倭の国の商人がモノを売るとき
必ずこの曲を流していたそうな。

「♪じゃ～ぱねっと　じゃぱねっと～
　　たかた　じゃぱねっと　たかた～」

0106１３２人目の素数さん

2011/11/27(日) 09:00:32.96

＞＞105

「♪じゃ～ぱねっと　じゃぱねっと～
　　たかた　じゃぱねっと　たかた～」

どういう節回しで歌うの？？？？

どういう父子

0107M_SHIRAISHI

2011/11/27(日) 11:05:45.20

>>101 ：１３２人目の素数さん：(土)26_xi_2011;16:54:47.24_JMT
＞ＥＵＲＭＳでは「Ｐ(a) -3 Ｑ(a)」なる表現で

先ず、確認しておきます：－「Ｐ(a) -3 Ｑ(a)」は「Ｐ(a)⊰Ｑ(a)」の意味ですね？

話題は、若干、それます:-、"⊰" は、ご承知かも知れませんが、いわゆる『様相論理(Modal Logic)』
から借用したものです（"Symbolic Logic (2nd ed.)" by C_I_ LEWIS ＆ C_H_LANGFORD {p.124}）
しかし、混乱の原因になるので、これからは、“➞”を用いることにします。

「きっかけ」を与えて下さったことを感謝します。

お礼に『素敵なｗ景品』を差し上げます。　E-mail を下さい。

＞Ｐ(ｘ)⇒/x/Ｑ(ｘ)が成立し、かつaなる項が存在する
＞ことを表わしているようですが、この表現は必要でしょうか？

イマイチ、意味が解かりません。　(^o^)

0108１３２人目の素数さん

2011/11/27(日) 15:06:42.49

>>107
⊰は知りませんでした。これはいかなる文字でしょうか？

私が言いたいのは、Ｐ(a)⊰Ｑ(a)なる表現は
必要ないのではないか、ということです。

0109M_SHIRAISHI

2011/11/27(日) 16:52:20.08

>>108 ：１３２人目の素数さん：2011/11/27(日) 15:06:42.49
＞ >>107
＞ ⊰は知りませんでした。これはいかなる文字でしょうか？

実質(的)内含(material implication)に疑問を持ち、論駁を試みた
Clarence_I_ LEWIS の唱えた「厳密内意(strict implication)」
を表わす記号です。

＞私が言いたいのは、Ｐ(a)⊰Ｑ(a)なる表現は必要ないのではないか、
＞ということです。

イマイチ、意味が分りません。　(^o^)

# 具体例を上げていただければ幸甚です。

0110１３２人目の素数さん

2011/11/27(日) 19:45:11.83

やっと論理学の面白さが分かってきたよ。
今は演繹定理に夢中。

0111１３２人目の素数さん

2011/11/27(日) 21:10:18.76

⊰はUnicodeではPrecedes under relation
⊱はUnicodeではSucceeds under relation
とあるな。

0112粋蕎 ◆C2UdlLHDRI

2011/11/28(月) 00:05:26.62

おお、見えん。其の字はPCなら見えるんかのう？
広島住みなのに東北地震以来、自宅PC封印したままじゃから分からん

>>107
Eメールアドレス公開はリスクが高いがMixyを通じてEメール交換はできる
但しMixyで迷惑メールは増える

0113粋蕎 ◆C2UdlLHDRI

2011/11/28(月) 00:10:08.15

>>105
× ♪じゃ～ぱねっと　じゃぱねっと～
　　たかた　じゃぱねっと　たかた～
〇 ♪じゃ～ぱねっと　じゃぱねっと～
　　ゆめの　じゃぱねっと　たかた～

>>106
例えばジャパネットたかた通販番組のオープニング曲

0114１３２人目の素数さん

2011/11/30(水) 07:14:10.65

>>113
御指摘有難う。
ところで➞はみえますか？みえませんか。

0115１３２人目の素数さん

2011/12/08(木) 15:59:07.75

実質内含のパラドックスと同じく、
厳密内意でもパラドクスが起きるわけですが、
そのパラドクスは無視しても良いとお考えなのでしょうか？

0116１３２人目の素数さん

2011/12/09(金) 07:26:29.04

難しいことを言うと主役に逃げられてしまうよ

0117１３２人目の素数さん

2011/12/12(月) 06:05:49.77

主役は逃げてしまったようだな

0118無限の猿定理

2011/12/12(月) 21:56:32.84

無限の猿定理
論理生成器の運用手順
1.文をランダムに生成する。
2.生成された文を論理判定器にかける。
3.論理を記述していない文をふるい落とす。
4.残った文が論理を記述する文である。

論理判定器をどうやって作ります？

0119１３２人目の素数さん

2011/12/19(月) 03:26:26.26

哲学板で下記の質問をしました。
すると、違うといわれました。
本当に違うのでしょうか？

■「○○さん（14歳）」という表示を見て、
・この人は14歳だから小学生ではないだろう
　　と思うのが帰納、
・この人は14歳だから高校生ではないだろう
　　と思うのが演繹、
であってますか？

0120１３２人目の素数さん

2011/12/19(月) 07:41:23.32

Ａ君（１４歳）は小学生ではなかった
Ｂさん（１４歳）も小学生ではなかった
．．．
Ｚ君（１４歳）も小学生ではなかった
Ａ０殿（１４歳）も小学生ではなかった
．．．
これらから、全ての１４歳は小学生ではないのだろうと推論される→というのが帰納法

学校に入学する法律によると、
４月２日に６歳だったら小学校に入学でき、小学１年生
．．．
４月２日に１１歳だったら小学６年生
４月２日に１２歳だったら中学１年生
４月２日に１３歳だったら中学２年生
４月２日に１４歳だったら中学３年生
他の日付も考えると、１４歳ならば中学２年か、中学３年→というのが演繹法

○○さんは１４歳
１４歳は小学生でも高校生でもない
○○さんは小学生でも、高校生でもない→というのが三段論法

0121119

2011/12/19(月) 09:05:12.90

回答ありがとうございます。
うろ覚えなのですが、元々は、14歳の小学生は珍しいがわずかに存在する、
しかし法律上14歳では高校生になれない、という話から、
小学生を否定するのは経験則によるので帰納、高校生を否定するのは法律によるので演繹、
という話だったと思います。

＞４月２日に１４歳だったら中学３年生
最後に「以下」をつければ演繹ですね。

0122猫はぱァ～ ◆MuKUnGPXAY

2011/12/19(月) 11:04:00.84

>>112
訂正：

Mixy　→　Mixi

猫

0123１３２人目の素数さん

2011/12/19(月) 14:30:05.49

>>119　釣りだとは思うが、補足

Ａ君（１４歳）は高校生ではなかった
Ｂさん（１４歳）は高校生ではなかった
．．．
これらから、全ての１４歳は高校生ではないだろうと推論される、というのは帰納的結論

年齢主義によれば、１１歳か１２歳で小学校を卒業している
従って１４歳の子は小学生ではないと考えられる、というのは演繹的結論

このように、１４歳は高校生ではないを帰納的に結論を出すことも出来るし、
１４歳は小学生ではないと演繹的に結論することも出来る。
>>119の部分だけから、それが帰納的なものか、演繹的なものか判断などできない。

つまり、帰納的なものか、演繹的なものなのかは、どのような「論理」が使われているか
（帰納的な場合は、多くの例が示されるだろうし、帰納的な場合は適用した法律とか
公理等を持ち出しているだろう）が示されなければ、判断のしようがない。
「この人は14歳だから小学生ではないだろう」とか
「この人は14歳だから高校生ではないだろう」とかの最終結論だけから、
その結論を帰納的に導いたのか、演繹的に導いたのか判断のしようがない。

0124１３２人目の素数さん

2011/12/19(月) 19:30:38.58

論理的に相手を論破したいんですけど、
何を学べば強くなれますか？

0125１３２人目の素数さん

2011/12/19(月) 19:36:19.58

議題についてよく調べ、考えること

0126１３２人目の素数さん

2011/12/19(月) 21:04:59.87

>>125
なるへそ、
お題があって(情報収集しやすいもの、政治経済とかはわけわかめ)、討論している場所とか知りませんか？

0127１３２人目の素数さん

2011/12/19(月) 21:18:03.09

「競技ディベート」でググレ

0128１３２人目の素数さん

2011/12/19(月) 21:21:44.34

>>127
ありまとー

0129１３２人目の素数さん

2011/12/19(月) 22:54:49.46

競技ディベートでググってもくそばっか
>>127はアホ

0130119

2011/12/20(火) 12:39:17.07

>>123
釣りではありません。
真面目な質問なのですが？

＞年齢主義によれば、１１歳か１２歳で小学校を卒業している
＞従って１４歳の子は小学生ではないと考えられる、というのは演繹的結論

つまり、演繹の場合には前提が間違っていると結論も誤っている可能性があるという典型例なのですね。
「14歳なので小学生ではない」という推論は、帰納でしかできないという意味だったのですが、
確かに「演繹法での誤った推論」も可能ですね。

0131１３２人目の素数さん

2011/12/20(火) 15:59:27.00

>>119
は数行足りない。
論理もへったくれもない。

0132１３２人目の素数さん

2011/12/20(火) 16:51:04.71

>>119の質問では一体何を聞きたかったんですか？
YesかNoかが聞きたかったんですか？

帰納法と演繹法、これらは対比的に使われることがある。
そして、一方は「小学生ではない」、もう一方は「高校生ではない」と
こちらも中学生を挟んで、対比的な使い方をしている。
そのような並べ方をしたら、質問者は年齢を基準に帰納か演繹か、あるいは、
上からの制限か、下からの制限かで、帰納か演繹か等と思って判断しようとしている
のではないかと、回答をしようとする人に勘違いさせてしまうような可能性に
全く気づかない天然ぶりを発揮している。

かと思えば、回答のあった一時間ちょっと後には、きちんと、一方は経験則、一方は法律に
よるものだと、明確に自ら説明を行い、哲学版での回答を、自分で否定しようとしている。
全く天然性がない。まるで、最初からこの返答を用意していたかのようにだ。
あえて、「経験則によって」小学生ではない、「法律によって」高校生ではない、の
括弧の部分を隠して、質問したと見えてならない。

この様なことをするのは、釣り師。振り返れば、>>119で本当に知りたかった内容も不明確。
>>130の「真面目な質問なのですが？」というのも釣り臭がぷんぷんする。
釣り師には潔く釣りを認めるものもいれば、繰り返し否定するものもいる。結局そういうことだ。

0133１３２人目の素数さん

2011/12/20(火) 17:08:55.02

＞哲学版での回答を、自分で否定しようとしている。

そっちで回答なんてあったの？

0134１３２人目の素数さん

2011/12/20(火) 17:17:54.34

>>133
実際にあったかどうかは知らないが、>>119では、そこで質問して違うと言われたと書かれている

0135１３２人目の素数さん

2011/12/20(火) 17:21:07.81

>>119は、それぞれ帰納、演繹になるように行間を埋めろ
というクイズだったわけだな

0136１３２人目の素数さん

2011/12/21(水) 03:31:03.34

単純に馬鹿なだけだろ

0137１３２人目の素数さん

2011/12/24(土) 06:58:40.11

なんで論理学のスレッドが数学板にあるんでしょう？

0138１３２人目の素数さん

2011/12/25(日) 01:51:35.12

隔離用

0139１３２人目の素数さん

2011/12/25(日) 06:08:22.57

「数学基礎論・数理論理学」スレッドで、
時代遅れの「数学基礎論」という言葉を取り除けという派と、
分かりやすさの為に定着した名称をそのままで行こう派が、
論争を繰り広げていたんだが、
両派が住み分けるために前者派の為にこのスレッドが出来た。

0140１３２人目の素数さん

2011/12/25(日) 12:16:32.60

小学校では、
正三角形は二等辺三角形ではないと教えている。

0141１３２人目の素数さん

2011/12/25(日) 14:37:50.22

>>140は嘘つき

0142１３２人目の素数さん

2011/12/26(月) 00:21:54.13

>>139
> 「数学基礎論・数理論理学」スレッドで、
> 時代遅れの「数学基礎論」という言葉を取り除けという派と、
> 分かりやすさの為に定着した名称をそのままで行こう派が、
> 論争を繰り広げていたんだが、
> 両派が住み分けるために前者派の為にこのスレッドが出来た。

「論理学」と「数理論理学」じゃ随分とニュアンスが違うから
前者派にとってはスレタイが「論理学」では納得しない。
あそこの問題については、基礎論廃止派向けの「数理論理学」と
基礎論存続派の「数学基礎論」という２つのスレに分けるしか解決しない。

0143１３２人目の素数さん

2011/12/26(月) 00:32:32.18

>>142
と言っているのを見ると、こいつは前者派のようだな。くだらん。

0144１３２人目の素数さん

2011/12/26(月) 10:27:49.89

ここは論理学関連に対する自爆テロリストの核利用スレだろ
基礎論・数理論理学スレを荒らしまくったあげく
哲学板で珍しくマトモに議論してた論理学スレを荒廃においやった
エムシラが好きに暴れても良いようにするためのサンドボックス

0145119

2011/12/26(月) 20:27:20.47

>>132
なぜか悪意に取られているようですが、こちらは分からないから質問したのです。
そもそもどこがおかしいかが分かっていたら、ちゃんと正しい書き方をしてから書いたのですが。
詳しい人が私のレスで被害に会うわけはないですし、なぜおおごとにするんでしょうか？

0146い

2011/12/26(月) 22:32:41.96

>>145
その答えは>>132に書かれてるが、>>132の内容を理解しないからこその疑問である以上、理解するのは不可能だね。

0147１３２人目の素数さん

2011/12/26(月) 22:41:38.54

スレッドの方針で揉めてたんじゃなくて名称で揉めてたってことか
そんなんでいちいち別スレッド立てんなよ

0148１３２人目の素数さん

2011/12/28(水) 03:02:15.42

俺は
>>132の発言の意味と、
>>132の性格が悪いという事が分かる。

0149１３２人目の素数さん

2011/12/28(水) 03:40:55.16

>>145
>>119の問いは哲学板の「論理学」スレの>>891で見かけたモノだけれども、
あちらのスレはもう老けててこちらはまだ若いから、こちらで答えよう。

そのような思考法を〈演繹〉・〈帰納〉へと二分するコトは「あっている」とは言いがたい。 (*)
というのも、どちらの思考法も〈推理法〉としては
〈演繹法〉の一種である〈三段論法〉の〈妥当な格式( Ferio ないしは Darii )〉に落とし込めるモノだから。
ゆえに、問われている思考法はどちらも〈妥当な演繹法〉だとみなせる……はずなのだが、
当の演繹法は〈反例〉を有しうるコトに因って“演繹的論証の根本則_la Esenca Legxo de Dedukta Argumento”：

その前提をなす言明のすべてが承認されえるモノであるならば、その結論をなす言明もまた承認されえるモノでなければならない。
Se cxiu el la frazoj kiuj faras la Antecedenton estas akcepteblaj, tiam ankaux la frazo kiu faras la Konsekvencon devas esti akceptebla.

を充たしえないモノであるがゆえに〈非妥当な演繹法〉であるに止まっている。
もっとも《〈演繹法〉とは〈帰納法のうちの特殊的な形式(aux, 理想的形式)〉に他ならない》という観方を採れば、
両つの思考法は共に〈蓋然性の有る帰納法〉だとみなせる。　
さらに“「○○さん（14歳）」という表示”が〈"○○さん"という名の“非実在青少年”についての設定〉であるようなケースについては、
両つの思考法はそれらが〈演繹法〉・〈帰納法〉のどちらとして妥当なモノであるにしても〈真偽性を欠く推理法〉だと評しうる。

--------------------------------------------------------------------------
(*) >>121で明かされているような〈演繹〉・〈帰納〉への仕分け方は
　　論理学での〈演繹〉・〈帰納〉の特徴づけに慣れた目には“突飛な仕分け方”に見える。

0150119

2011/12/28(水) 11:57:21.76

>>149
すみません。
長くて何を言っているか分かりません。
分かりやすくお願いできませんか？

0151い

2011/12/28(水) 13:52:04.84

普通の文章では理解しないと分かって詳しく説明した人が、長くて分からんと返されちまったら普通は怒るだろうな。

0152119

2011/12/28(水) 22:16:00.76

>>150は偽者です。
まあ、IDもないし手遅れですが・・・

0153119

2011/12/29(木) 00:44:32.37

>>152
はい？ご自身で自演ですか？

0154１３２人目の素数さん

2011/12/29(木) 01:39:32.44

>>2
king = エムシラだったのか

0155１３２人目の素数さん

2012/01/02(月) 07:01:15.44

>>150
>>119での例のような２つの思考法を片や〈帰納〉片や〈演繹〉と別かつような
〈帰納〉・〈演繹〉の理解の仕方は「あっている」とはいえない。
どうしてかといえば、論理学用の色メガネを掛けて視ると両つの思考法は〈共に妥当でありそこなう演繹法〉
あるいは〈共に蓋し然うだと見込める帰納法〉のように見えるから。
どちらであるにしろ、「○○さん（14歳）」が虚構の表示であれば両つの思考法は〈共に真偽性を有たない〉。

以上“長くて何を言っているか分からない”>>149を “長くないまたは何を言っている分からない”文章にしてみた。

0156１３２人目の素数さん

2012/01/02(月) 21:00:24.16

140 ：１３２人目の素数さん：2011/12/25(日) 12:16:32.60
小学校では、
正三角形は二等辺三角形ではないと教えている。

141 ：１３２人目の素数さん：2011/12/25(日) 14:37:50.22
>>140は嘘つき

いや、本当の話。
嘘だと思ったら、本屋で小学校３年あたりの図形の問題を見てごらん。
「以下の図形のうちで二等辺三角形を選びましょう。」
という問題で、正三角形を選ぶと「間違い」になる。

0157１３２人目の素数さん

2012/01/03(火) 14:15:53.54

>>156
その問題集の答えが誤りかと思われる。

正三角形は二等辺三角形の一つ
正方形は長方形の一つ
長方形は平行四辺形の一つ
こんなことはいわずもがな。

0158いや

2012/01/03(火) 17:56:36.92

>>157
>正三角形は二等辺三角形の一つ
>正方形は長方形の一つ
>長方形は平行四辺形の一つ
>こんなことはいわずもがな。

小学校には通用しない。

>その問題集の答えが誤りかと思われる。

どの出版社の問題集もそうなってる。ｗｗ

0159１３２人目の素数さん

2012/01/04(水) 00:33:49.74

>>154
> king = エムシラだったのか

kingはエムシラよりはマシだと思うぞ。
エムシラと同じ扱いじゃさすがのkingでも失礼ってもんだ。
エムシラは文字通りの白痴に近いバカでキチガイ。

0160１３２人目の素数さん

2012/01/04(水) 05:26:04.79

>>158
は嘘つき

0161きっぱり

2012/01/04(水) 17:16:00.35

>>160
確かめもしないお前は馬鹿

0162１３２人目の素数さん

2012/01/05(木) 17:06:54.21

>>161が釣れた

0163１３２人目の素数さん

2012/01/06(金) 22:30:46.59

釣りじゃねえ。事実だ、ぼけ。

0164１３２人目の素数さん

2012/01/08(日) 18:02:39.59

>どの出版社の問題集もそうなってる。ｗｗ

単にどの出版社の問題集の答えも誤ってるというだけのこと。

おかしくもなんともない。
問題集の答えが間違ってることなんて珍しくない。
だってバカが作ってるんだぜｗ

0165単に

2012/01/09(月) 16:23:54.21

小学校も出版社も間違ったことを教えてるってこと。
正三角形に限らない。
次の図形の内、長方形を選びなさいという問題で、正方形を選んだら×
平行四辺形を選びなさいという問題でひし形を選んだら×
これが小学校なんだよ。

0166１３２人目の素数さん

2012/01/10(火) 06:15:00.35

また>>165が釣れた

0167１３２人目の素数さん

2012/01/14(土) 16:20:41.03

>>166
馬鹿は書き込み禁止

0168１３２人目の素数さん

2012/01/14(土) 21:52:01.66

>>165
＞小学校も出版社も間違ったことを教えてるってこと。

別に珍しくない。小学校どころか中学校も高校も間違ったことを教えてる。
ニュートン力学は正しくない。正しいのは相対論。

0169１３２人目の素数さん

2012/01/18(水) 21:55:37.60

>>168
おまえ　ずれてるよ

0170１３２人目の素数さん

2012/01/18(水) 21:59:30.78

ずれてるというか歪んでるね

0171１３２人目の素数さん

2012/01/19(木) 21:42:05.68

>>168
ニュートン力学は命題として捉えれば正しいだろ。
ニュートン力学における仮定が偽になるがｗ

0172１３２人目の素数さん

2012/01/24(火) 21:10:43.99

ところで、その昔大学で論理学の講義をとった時のテキストは
清水義夫「記号論理学」（東京大学出版会）だったのだが、
集合論などの数学方面の議論の根本の部分を考える上で参照すべき
論理学のテキストで、いま何かいいものあります？
ちょっと大きめの本屋で論理学のコーナー覗いても
野矢先生か三浦某の本しか置いてなくて、うんざり。

0173１３２人目の素数さん

2012/01/24(火) 21:25:59.46

＞数学方面の議論の根本の部分を考える
じゃ何したいのか分からん

古めの英語の本で良いのならその本に載ってる参考文献読めば良いよ

0174１３２人目の素数さん

2012/01/24(火) 21:28:34.51

>>172
たぶん、書店の人文系コーナーしか見てないんじゃないか
ロジックの専門書は理工系コーナーに置いてあるから、自分の目的に沿ったものを探してみたら

0175１３２人目の素数さん

2012/01/24(火) 22:56:02.83

＞清水義夫「記号論理学」
Amazonで28円で売っとる…
悪い本じゃないのになー

0176１３２人目の素数さん

2012/01/24(火) 23:49:37.77

172です。
基本的には、当時そんなにきちんと理解できなかった清水先生の本を
もういちどちゃんと理解するのが第一目標です。
その背景の部分を詳しくみるには、確かにまずは参考文献に載ってる本を見ればよいですね。
それに加えて、論理式を書く作法とかが人によっていろいろ違うこともあるようなので、
他のテキストと読み比べてみたいというのと、
少し古い本なので、新しいテキストがないかなとも思って質問してみた次第です。
（できれば、もう１段階入門レベルのテキストもあればと。）
行った本屋がちょっと理工系のコーナーがしょぼかったのも事実ｗ

28円はひどいっすね

0177１３２人目の素数さん

2012/01/25(水) 00:30:47.68

＞もう１段階入門レベルのテキストもあればと

松本和夫『復刊数理論理学』
ttp://www.amazon.co.jp/dp/4320016823

新しいテキストではありませんが、
基本事項の解説は今でも変わらないことと、レベルが適当と思われることから上記の本を挙げてみました。
清水さんの本は、基本的にはヒルベルト流の公理系（推論規則をできるだけ少なくしたシステム）を使っており、
ゲンツェン流の自然演繹は紹介程度に留めてあったかと思います。
上記の本ではこれら二つの流儀、及びシークエント計算を用いる流儀について丁寧に解説してあります。
「自然数論の無矛盾性」という、実に数学基礎論らしいトピックも扱っています。

0178１３２人目の素数さん

2012/01/25(水) 00:37:20.50

松本は清水よりも少し難しいような…（解説がコンパクトであるという点で）
解説自体は松本の方が上手だけど

0179１３２人目の素数さん

2012/01/25(水) 03:01:49.83

>>177 >>178
ありがとうございます。
いずれにせよ、その松本先生の本は持っていた方がよさそうですね。
１つの流儀しか把握していないと、議論がかみ合わなくなることがあるのが
怖かったので、少しハードルが高くても勉強してみます。

0180１３２人目の素数さん

2012/01/25(水) 21:30:37.47

めぼしいものでは

論理と計算のしくみ　萩谷昌己・西崎真也
記号論理入門　前原昭二
形式論理学―その展望と限界　リチャード=ジェフリー（著）　戸田山和久（訳）

とか。まあどれも一長一短だけど。
論理学の基礎と演習　Barwise Etchemendyとかはどうなんだろう。

0181あぼーん

NGNG

あぼーん

0182あぼーん

NGNG

あぼーん

0183１３２人目の素数さん

2012/02/24(金) 03:12:57.56

>>181
>>182
おまえがそれ気に入ってるのは分かったが
他人は全く興味ないんで

0184１３２人目の素数さん

2012/03/07(水) 09:07:54.40

哲学板から来ました。
初心者におすすめの論理学の本はありませんか？
野矢茂樹著「入門！論理学」って本は、どうなんでしょうか。
ご存知の方いらっしゃいましたら、よろしくお願いします。

0185１３２人目の素数さん

2012/03/07(水) 14:31:17.85

age

0186１３２人目の素数さん

2012/03/07(水) 14:38:30.31

>>184
http://www.age.ne.jp/x/eurms/Ronri_Kaikaku.html

0187１３２人目の素数さん

2012/03/08(木) 11:24:10.32

sage

0188１３２人目の素数さん

2012/03/08(木) 17:11:23.21

>>184
縦書きの時点でなんかもう読む気なくした

0189１３２人目の素数さん

2012/03/09(金) 00:45:53.12

Gentzen-type のものは、（Gentzen　本人も認めていた様に！） Russell-Hilbert -typeのの
ものにも増して「奇怪」だ。　なぜ日本では、Gentzen-type の信者が多いのだろう？

0190１３２人目の素数さん

2012/03/09(金) 01:33:24.37

>>189
先ず、日本における記号論理学の先達：竹内外史や前原昭二などが
Getzen-type にかぶれたことが、その理由としてあげられよう。

0191１３２人目の素数さん

2012/03/09(金) 03:24:58.70

>>190
＞先ず、日本における記号論理学の先達：竹内外史や前原昭二などが
＞Getzen-type にかぶれたことが、その理由としてあげられよう。

外史や前原は、なぜGetzen-type にかぶれたんだろ？

0192１３２人目の素数さん

2012/03/09(金) 04:53:09.99

奇怪か自然かとかしか頭にないようじゃ永遠に分かるまい。
数学的道具立てとしてどれだけ有効かを考えてみれば自ずと分かる。

0193１３２人目の素数さん

2012/03/09(金) 09:00:27.96

「奇怪」ってどういう意味で？
実際に定理を証明するときと
証明論やら非古典論理やらの研究をするときにはGentzenスタイルの方が便利だよ

不完全性定理とかを証明するときのコーディングとかの為に
簡単に済ませてしまいたい場合はHilbertスタイルの方が便利だけど

0194１３２人目の素数さん

2012/03/10(土) 04:06:30.22

>>192
>>193
ｷﾐ達こそ、なぜ Gentzen 方式が奇怪なのかわからなければ、論理学は永遠にわかるまい。

Gentzen本人が「奇怪」であることを認めていたというのに。ｗｗｗｗ

0195１３２人目の素数さん

2012/03/10(土) 04:27:02.93

痛々しいレスじゃのお

0196１３２人目の素数さん

2012/03/10(土) 06:52:57.03

シーケント計算が「奇怪」だと思うのは初学者がみんな経験する通過儀礼みたいなもの。
だから玄人はみんな>>189-191みたいなレスをニヤニヤして眺めているのさ。

0197１３２人目の素数さん

2012/03/10(土) 18:53:50.06

>>196
論理学者が奇怪というのは数学者の間では常識

0198１３２人目の素数さん

2012/03/10(土) 20:46:27.57

>>197
そして数学者が奇怪というのは大学教授の間では常識

0199１３２人目の素数さん

2012/03/10(土) 20:58:39.62

>>198
しかも大学教授が奇怪というのは町内の住民の間では常識

0200１３２人目の素数さん

2012/03/12(月) 01:40:28.29

>>196
＞シーケント計算が「奇怪」だと思うのは初学者がみんな経験する通過儀礼みたいなもの。

喉もと過ぎれば、熱さを忘れる。ｗ

0201１３２人目の素数さん

2012/03/12(月) 01:55:12.65

奇怪だ奇怪だと言うだけで、どう奇怪かは指摘できない
さてはお前さん、哲学徒だな

0202↑

2012/03/12(月) 07:52:56.43

自分で気づけ!　アッフォウ！！！

0203１３２人目の素数さん

2012/03/12(月) 21:58:44.59

日本ではとか言う話じゃなくて
どこの国でも証明論の研究は普通sequent計算か自然演繹で
たまにHilbertタイプという感じ

0204１３２人目の素数さん

2012/03/12(月) 22:13:00.40

数学的な緻密さが要求される論理(関連性の誤謬を誤謬とする論理)だと

(p⇒q)⇔(￢p∨q)を示すのは結構手間だな

0205１３２人目の素数さん

2012/03/13(火) 16:17:51.41

シーケント計算なんて道具として便利であれば誰もそれ以上のこと求めてないし。
奇怪だろうと奇怪でなかろうと、どっちでもいいし。

0206１３２人目の素数さん

2012/03/13(火) 23:53:06.79

>>205
＞奇怪だろうと奇怪でなかろうと、どっちでもいいし

放送大学テキスト：数学基礎論（前原昭二：著）p.68

0207あぼーん

NGNG

あぼーん

0208１３２人目の素数さん

2012/03/16(金) 04:23:37.85

>>206
教科書に書いてあることは何でも正しいと？
中韓の小学生みたいやな

0209１３２人目の素数さん

2012/03/16(金) 08:25:03.02

>>205
＞奇怪だろうと奇怪でなかろうと、どっちでもいいし

奇怪＝怪しい

0210１３２人目の素数さん

2012/03/16(金) 11:13:42.09

NJやNKが奇怪だという奴はより奇怪じゃない体系を提唱して
世間に認められてから話せと言いたい

LJやLKはNJ・NKをメタな立場からみただけのものだ

0211１３２人目の素数さん

2012/03/16(金) 22:52:21.46

【論理学】論理学はゴミ(佃煮)【論破】
http://awabi.2ch.net/test/read.cgi/philo/1326803223/

0212１３２人目の素数さん

2012/03/17(土) 16:21:56.16

>> 210
＞ NJやNKが奇怪だという奴はより奇怪じゃない体系を提唱して

ゲンツェン本人が、 NJ や NK は奇怪だと思っていた。　奇怪じゃない体系を
発見する前に、収容所で餓死した。　彼はナチだった。

0213１３２人目の素数さん

2012/03/17(土) 17:25:50.04

>>212
＞彼（ゲンツェン）はナチだった。

単に世間知らずだっただけのこと。

ナチ突撃隊のメンバーで東部戦線で戦死した
タイヒミュラーに比べたらタダのガキ

0214１３２人目の素数さん

2012/03/17(土) 23:30:49.80

漏れは、ロシア語が少々できるんでｗ、旧ソ連の「数理論理学」の本をもってるんだが、
全面的にゲンツェン-type であるにかかわらず、ゲンツェンについての言及はどこにもない！

0215１３２人目の素数さん

2012/03/18(日) 20:57:16.27

>>204はNKでの話

NKの公理を用いてかつ関連性の誤謬を認めると、ということな

要は数学の証明に要請される論理により近い論理だ

0216１３２人目の素数さん

2012/03/18(日) 21:03:51.30

>>214
旧ソ連ではすべてロシア人の手柄になってる
式や法則も勝手にロシア人の名前を付けていた
それに比べりゃ韓国なんてかわいいもの

0217１３２人目の素数さん

2012/03/18(日) 21:08:03.76

日本人も勝手に微積分の公式に関孝和の名前を付け加えたりするじゃん
ロシアは日本より数学に関して先進国だったというだけの話ではないの？

0218１３２人目の素数さん

2012/03/18(日) 21:16:39.92

ブニャコフスキの不等式

0219１３２人目の素数さん

2012/03/20(火) 00:44:10.47

ソ連は物理や工学の方面でも勝手にロシア人の手柄にしてたよ
日本人研究者が作った合金もロシア人が発明したとかｗｗｗ

0220１３２人目の素数さん

2012/03/21(水) 11:31:12.46

記号で書かれてるのでかなり充実した本を知りませんか？

自分が読んだことがあるのは
論理学入門 (岩波全書)
http://www.amazon.co.jp/gp/aw/d/4000208918/ref=mem_taf_books_d?uid=NULLGWDOCOMO&qid=1332296742&sr=1-4
現代論理学入門 (岩波新書青版 C-14)
http://www.amazon.co.jp/gp/aw/d/4004120144/ref=mem_taf_books_d?uid=NULLGWDOCOMO&qid=1332296742&sr=1-3
論理学入門―推論のセンスとテクニックのために (NHKブックス)
http://www.amazon.co.jp/gp/aw/d/414001895X/ref=mem_taf_books_d?uid=NULLGWDOCOMO&qid=1332296742&sr=1-2
です。
もっと詳しく書かれてるのを知りたいです。
中級者向けの本も知ってたらお願いします

0221220

2012/03/21(水) 11:43:39.81

連投すみません
ほかに読んだことあるのは
詭弁論理学 (中公新書 (448))
http://www.amazon.co.jp/gp/aw/d/4121004485/ref=mem_taf_books_d?uid=NULLGWDOCOMO&qid=1332297579&sr=8-1
逆説論理学 (中公新書 (593))
http://www.amazon.co.jp/gp/aw/d/4121005937/ref=mem_taf_books_d?uid=NULLGWDOCOMO&qid=1332297579&sr=8-2
うそとパラドックス―ゲーデル論理学への道 (講談社現代新書)
http://www.amazon.co.jp/gp/aw/d/4061488813/ref=mem_taf_books_d?uid=NULLGWDOCOMO&qid=1332297641&sr=8-1
シャーロック・ホームズの推理学 (講談社現代新書)
http://www.amazon.co.jp/gp/aw/d/4061489224/ref=mem_taf_books_d?uid=NULLGWDOCOMO&qid=1332297707&sr=8-1
です。お願いします

0222１３２人目の素数さん

2012/03/21(水) 11:59:25.40

『ゲーデルと20世紀の論理学』全4巻　東京大学出版会

0223１３２人目の素数さん

2012/03/21(水) 13:42:50.70

>>172-180

0224220．221

2012/03/21(水) 20:39:24.16

>>222
>>223
ありがとうございます

0225あぼーん

NGNG

あぼーん

0226１３２人目の素数さん

2012/04/03(火) 21:25:08.27

sage

0227１３２人目の素数さん

2012/04/05(木) 00:09:20.19

なるほど

0228１３２人目の素数さん

2012/04/05(木) 00:38:26.58

奇怪かどうかなんて、感じ方の問題じゃないの？

0229１３２人目の素数さん

2012/04/09(月) 09:47:52.58

sage

0230１３２人目の素数さん

2012/04/09(月) 09:53:11.40

>>220
>>221

エムシラ御大のＷｅｂサイト
http://www.age.ne.jp/x/eurms/Ronri_Kaikaku.html

0231１３２人目の素数さん

2012/04/09(月) 13:58:30.08

>>228
＞奇怪かどうかなんて、感じ方の問題じゃないの？

どこか「怪しい(＝間違ってる)」と「感じる」んだよ。

0232１３２人目の素数さん

2012/04/09(月) 21:19:37.79

＞旧ソ連ではすべてロシア人の手柄になってる

ロシア帝国の皇帝はドイツ人だったがな。

ピョートル三世の父親はドイツ人（母親がロシア皇女）
で、そこから代々ドイツ系の皇后ばかりだから
子孫はほぼドイツ人。これ常識。

0233１３２人目の素数さん

2012/04/10(火) 01:13:48.22

sage

0234１３２人目の素数さん

2012/04/10(火) 14:53:14.81

>> 220
＞記号で書かれてるのでかなり充実した本を知りませんか？

Haskell B Curry (著) "Foundations of Mathematical Logic"

# 読み応えがある。ｗｗｗ

0235１３２人目の素数さん

2012/04/11(水) 12:12:27.12

>> 220
＞記号で書かれてるのでかなり充実した本を知りませんか？

Principia Mathematica ( by A N Whitehead & B A W Russell)

0236１３２人目の素数さん

2012/04/11(水) 13:15:15.20

ありがとうございます

0237１３２人目の素数さん

2012/04/11(水) 13:17:14.18

著者以外には誰も全部読んだことがないと言われてる本だけどな

0238１３２人目の素数さん

2012/04/11(水) 16:36:32.18

『現代数学の発酵とヘーゲル弁証法』

0239１３２人目の素数さん

2012/04/11(水) 19:58:31.72

白石はレベルが上がってＭ白になった
Ｍ白はレベルが上がって壊死邑になった

0240１３２人目の素数さん

2012/04/11(水) 20:57:54.38

戸次大介の数理論理学とかが割とお勧め
つい最近出た本だけどね

0241１３２人目の素数さん

2012/04/11(水) 21:47:29.45

向うの前スレ辺りにレビューあったよ。

0242エセ関西人

2012/04/12(木) 01:38:15.82

せやな

0243あぼーん

NGNG

あぼーん

0244１３２人目の素数さん

2012/04/22(日) 01:25:23.10

現行の論理学が間違っていることを示す好例；－

(Ｐ⊃Ｑ)⊃(～Ｑ⊃～Ｐ) は「恒真式」であり、(ＰならばＱ)ならば(ＱでないならばＰではない)
が成立する。しかるに、[Ｐ⊃(ＱＶＲ)]⊃{(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] は「恒真式」であるにも
拘わらず、[Ｐならば(ＱかＲ)]ならば{(ＰならばＱ)か(ＰならばＲである)]
は成立しない。★

0245１３２人目の素数さん

2012/04/23(月) 00:56:31.40

おはよう

0246あぼーん

NGNG

あぼーん

0247あぼーん

NGNG

あぼーん

0248あぼーん

NGNG

あぼーん

0249あぼーん

NGNG

あぼーん

0250エセ関西人

2012/05/02(水) 08:59:46.54

知らんがな

0251１３２人目の素数さん

2012/05/04(金) 07:58:08.64

>>249
おはよう

0252あぼーん

NGNG

あぼーん

0253１３２人目の素数さん

2012/05/05(土) 00:12:37.08

竹内外史の"Proof Theory"を買って持ってるんだけど、つまんねーな。

0254↑

2012/05/05(土) 00:15:13.04

竹内・八杉の『証明論』もつまんね。

0255１３２人目の素数さん

2012/05/05(土) 12:48:08.02

それただの古典だから。
今はPohlersとか読むと良い。

0256あぼーん

NGNG

あぼーん

0257あぼーん

NGNG

あぼーん

0258あぼーん

NGNG

あぼーん

0259１３２人目の素数さん

2012/05/05(土) 18:16:51.95

>>258
おはよう
今日は元気がいいようだね

0260あぼーん

NGNG

あぼーん

0261↑

2012/05/05(土) 23:39:47.77

何の目的で貴様はこんなカキコをしてんだ。　恥を知れ！

0262１３２人目の素数さん

2012/05/07(月) 08:27:26.62

>>260
おはよう

0263あぼーん

NGNG

あぼーん

0264１３２人目の素数さん

2012/05/07(月) 12:42:41.65

>>261
復讐でしょうね。そうとう恨みが溜まってるな。

0265１３２人目の素数さん

2012/05/07(月) 19:57:13.34

>>263

もてないくせして、なにを偉そうに。　爆笑

0266１３２人目の素数さん

2012/05/09(水) 19:14:22.90

漏れ、ロシア語が少々できるんでｗ、旧ソ連の「数理論理h学」の本を買って読んでみた。
明らかに、Gentzen 方式を採用しているのに拘わらず、Gentzen については一言も言及していない。

0267１３２人目の素数さん

2012/05/10(木) 16:58:38.35

おめでとう

0268１３２人目の素数さん

2012/05/10(木) 18:23:31.64

http://uni.2ch.net/test/read.cgi/math/9241205101/
コンプガチャなんてどうでもいいんだよ　早くくたばれ

0269１３２人目の素数さん

2012/05/10(木) 19:40:11.90

>>268
ふざけるな！

0270あぼーん

NGNG

あぼーん

0271あぼーん

NGNG

あぼーん

0272１３２人目の素数さん

2012/05/11(金) 01:25:42.22

>>271
おやすみ

0273あぼーん

NGNG

あぼーん

0274１３２人目の素数さん

2012/05/12(土) 15:52:24.62

>Stupid Shingo Matsumoto (松芯痰) most stupidly wrote:-
>
>> 命題は、基本的に、文です。

βακαμων（バカモン）！

「“赤”という漢字で表わされる色は“赤”という漢字自体です」と言って、
小学生たちからも嗤われたいか？

“赤”という漢字で表わされる色は“赤”という漢字自体ではないのと同様、
「赤は光の三原色のひとつである」という文によって表わされる命題は
「赤は光の三原色のひとつである」という文自体のことではない。
そのことは、この命題が、文としては全く異質の英文；
"Red is a primary colour of light." によって表わされることからしても
明らかだ。■

0275１３２人目の素数さん

2012/05/12(土) 16:50:26.06

降臨か

0276１３２人目の素数さん

2012/05/12(土) 21:05:31.90

http;//www.age.ne.jp/x/eurms/

0277１３２人目の素数さん

2012/05/12(土) 21:07:47.11

http://www.age.ne.jp/x/eurms/

0278あぼーん

NGNG

あぼーん

0279１３２人目の素数さん

2012/05/19(土) 19:38:51.09

>>278
おはよう

0280あぼーん

NGNG

あぼーん

0281あぼーん

NGNG

あぼーん

0282１３２人目の素数さん

2012/05/23(水) 12:52:22.21

>>281
おはよう

0283あぼーん

NGNG

あぼーん

0284あぼーん

NGNG

あぼーん

0285１３２人目の素数さん

2012/05/25(金) 09:46:43.09

>>284
おはよう

0286あぼーん

NGNG

あぼーん

0287１３２人目の素数さん

2012/05/27(日) 15:21:46.12

>>286
おはよう

0288あぼーん

NGNG

あぼーん

0289１３２人目の素数さん

2012/05/29(火) 21:12:12.93

>>288
おはよう

0290あぼーん

NGNG

あぼーん

0291１３２人目の素数さん

2012/05/30(水) 09:06:34.55

論狸学

0292１３２人目の素数さん

2012/05/30(水) 10:25:24.92

論理的思考の技法〈2〉三段論法と誤謬
http://www.amazon.co.jp/gp/aw/d/4587037559/ref=mem_taf_books_d?uid=NULLGWDOCOMO

0293あぼーん

NGNG

あぼーん

0294１３２人目の素数さん

2012/05/30(水) 19:33:01.46

>>293
おはよう
http://www.youtube.com/watch?v=wMIDu8ELZ9I&sns=em

0295あぼーん

NGNG

あぼーん

0296あぼーん

NGNG

あぼーん

0297あぼーん

NGNG

あぼーん

0298１３２人目の素数さん

2012/05/31(木) 17:21:22.25

398 名無し生涯学習 sage 2012/05/19(土) 07:53:33.61
ジョーは酒場で論理学の教授と知り合った。

「論理学ってのはどういったもんですか？」
「やって見せましょうか。お宅には芝刈機があります？」
「ありますよ」
「ということは、広い庭があるわけですね？」
「その通り！うちには広い庭があります」
「ということは、一戸建てですね？」
「その通り！一戸建てです」
「ということは、ご家族がいますね？」
「その通り！妻と２人の子供がいます」
「ということは、あなたはホモではないですね？」
「その通り！ホモじゃありません」
「つまりこれが論理学ですよ」
「なるほど！」
深く感心したジョーは、翌日友人のスティーブに言った。
「論理学を教えてやろう。君の家には芝刈機があるか？」
「いや。ないよ」

「ということは、君はホモだな！！」

0299あぼーん

NGNG

あぼーん

0300あぼーん

NGNG

あぼーん

0301あぼーん

NGNG

あぼーん

0302あぼーん

NGNG

あぼーん

0303あぼーん

NGNG

あぼーん

0304あぼーん

NGNG

あぼーん

0305１３２人目の素数さん

2012/06/04(月) 17:33:19.27

論理的思考の技法〈2〉三段論法と誤謬
http://www.amazon.co.jp/gp/aw/d/4587037559/ref=mem_taf_books_d?uid=NULLGWDOCOMO

0306あぼーん

NGNG

あぼーん

0307１３２人目の素数さん

2012/06/04(月) 21:12:30.83

>>306
おはよう
http://www.youtube.com/watch?v=wMIDu8ELZ9I&sns=em

0308あぼーん

NGNG

あぼーん

0309あぼーん

NGNG

あぼーん

0310あぼーん

NGNG

あぼーん

0311１３２人目の素数さん

2012/06/12(火) 19:49:49.94

多様性という視点から物事を見るとすると、どのような事柄を必ず重要となってきますか？

0312あぼーん

NGNG

あぼーん

0313１３２人目の素数さん

2012/06/13(水) 11:41:34.50

論理的思考の技法〈2〉三段論法と誤謬
http://www.amazon.co.jp/gp/aw/d/4587037559/ref=mem_taf_books_d?uid=NULLGWDOCOMO

0314あぼーん

NGNG

あぼーん

0315あぼーん

NGNG

あぼーん

0316１３２人目の素数さん

2012/06/13(水) 21:32:45.04

>>311
とりあえずは文法的に正しい日本語からかな

0317１３２人目の素数さん

2012/06/13(水) 22:41:04.18

>>316
論理的に答えられなくて、揚げ足とりにはしるのは馬鹿の典型

0318あぼーん

NGNG

あぼーん

0319１３２人目の素数さん

2012/06/14(木) 00:21:19.74

>>317
他人と論議などするときには、相手に誤解をされないように
共通認識のある言葉の使いかがよろしいと考えますよ。

0320１３２人目の素数さん

2012/06/14(木) 00:26:00.70

そいつは他のいくつかのスレでも、おかしな日本語で質問しては軽くあしらわれとった。

0321１３２人目の素数さん

2012/06/14(木) 05:26:50.48

>>317
馬鹿の指摘も論理的にするべき

0322１３２人目の素数さん

2012/06/14(木) 11:38:51.23

私は走れない
私は走れる

これは矛盾ですね
では、

私はすごく走れる
私はまあまあ走れる

これは矛盾ですか？

0323１３２人目の素数さん

2012/06/14(木) 12:15:28.31

言葉の定義に依る
前者も定義如何では矛盾するとは限らない
もちろん「走れる/走れない」だけではなく「矛盾」の定義も必要

0324あぼーん

NGNG

あぼーん

0325322

2012/06/14(木) 12:39:27.17

では、科学的にではなく、直感的に、あなたは>>322の
すごく/まあまあ
のケースを矛盾と感じますか？

0326１３２人目の素数さん

2012/06/14(木) 12:44:14.87

文脈も与えられず、なにも前提が用意されていない場合
直感的には走れる／走れない、すごく／まあまあ、ともに矛盾は感じない

0327１３２人目の素数さん

2012/06/14(木) 12:48:19.26

こんな表面的なことで矛盾かどうか尋ねて喜んでるの？

0328１３２人目の素数さん

2012/06/14(木) 12:53:39.23

定義についてはっきりしてないので
｢走れない｣とは
１、走ることが不可能
２、走るスピードが遅い
自分の意見では２の意味のように思いますがどちらでしょうか？

0329１３２人目の素数さん

2012/06/14(木) 13:35:40.22

それとも
３、長い距離を走れない。スタミナがない。
だろうか

0330あぼーん

NGNG

あぼーん

0331あぼーん

NGNG

あぼーん

0332１３２人目の素数さん

2012/06/15(金) 13:38:45.80

論理的思考の技法〈2〉三段論法と誤謬
http://www.amazon.co.jp/gp/aw/d/4587037559/ref=mem_taf_books_d?uid=NULLGWDOCOMO

0333あぼーん

NGNG

あぼーん

0334１３２人目の素数さん

2012/06/15(金) 19:17:55.37

>>333
おはよう

0335あぼーん

NGNG

あぼーん

0336１３２人目の素数さん

2012/06/15(金) 21:18:01.69

>>332
どういうステマ、単なる信者？

0337１３２人目の素数さん

2012/06/16(土) 12:55:08.29

>>335
おはよう

0338１３２人目の素数さん

2012/06/17(日) 17:55:43.00

http://www.youtube.com/watch?v=wMIDu8ELZ9I&sns=em

0339あぼーん

NGNG

あぼーん

0340あぼーん

NGNG

あぼーん

0341１３２人目の素数さん

2012/06/19(火) 22:09:04.23

論理的思考の技法〈2〉三段論法と誤謬
http://www.amazon.co.jp/gp/aw/d/4587037559/ref=mem_taf_books_d?uid=NULLGWDOCOMO

0342１３２人目の素数さん

2012/06/20(水) 11:54:52.54

sage

0343あぼーん

NGNG

あぼーん

0344あぼーん

NGNG

あぼーん

0345１３２人目の素数さん

2012/08/10(金) 13:32:13.72

戸田山和久『論理学をつくる』のUnique Redability Theorem(定理4) (1) の証明が意味不明で発狂しそうなので助けてください
⇛　は僕のコメントです

p44
定理4： A,B,C,Dは全て論理式とする。また、△、▲は任意の相異なる２項結合子（→、∨、∧）のどれかだとする。
(1) (A △ B) = (C ▲ D) というようなことはない

(1) の証明：
1) 仮に(A∧B) = (C→D)であるとする。
2) そうすると A∧B) = C→D)である。
3) 　【このとき、A = C で無くてはならない。なぜなら、さもないとA,Cの一方が他方の始切片（※１）ということになるが】　、
定理3（※２）により論理式の始切片は論理式ではありえないからである。したがって、A, Cが論理式である以上、A = C でなくてはならない。
　⇛【　】内が　意　味　不　明
　⇛何故、「さもないとA,Cの一方が他方の始切片」ということになるのか
　⇛何故、A=Cである必要があるのか？(A∧B)=(C→D)を満たすような、それぞれが異なる論理式A,B,C,Dが存在するかもしれないじゃない！
4) すると、∧B)=→D)だから∧=→ということになるがこれはありえない。
5) したがって、 (A∧B)=(C→D)であるとした仮定1) が誤り。

※１：始切片(initial segment) … １つの論理式Aの左端から途中までの記号を残し、右側にある記号をすべて捨てて作られる記号列
　（例）(P∧Q)　の場合、　(, (P, (P∧, (P∧Q が始切片
※２：定理３ … 論理式の始切片は論理式ではない

0346１３２人目の素数さん

2012/08/10(金) 14:51:53.74

論理式って論理式である前（？）に単なる文字列じゃなかったっけ？

0347１３２人目の素数さん

2012/08/10(金) 14:59:30.61

AとCの、記号列としての長さが異なるとする（Cの方が長いとしよう）
A∧B) = C→D) の両辺から、Aの長さの分だけ（左から）記号を取り出したものは等しい（ = の定義）
左辺から取り出したものはAであり、右辺から取り出したものはCの始切片である……これは矛盾
よって、AとCは同じ長さであり、
A∧B) = C→D) より記号の現れまで同じ、つまりA=C

0348１３２人目の素数さん

2012/08/10(金) 20:00:02.07

>>346-347
Thx！
=の定義を見逃していました。同じ順序で並ぶ記号の列である、という定義なら納得です。
大方納得できたのですが、１つ疑問が残ります。

＞右辺から取り出したものはCの始切片である
こうなるためには、AやCといった記号化された論理式は、必ず外側に括弧が付かなければならないと思うのですが、違いますか？
例えば、
A： a ∧ b
C： a ∧ b ∧ c ∧ d
のように括弧が無い場合、Cから、Aの長さ分だけ取り出すと、
a ∧ b
になって、記号の並び方だけに着目すると完全な論理式になってしまうと思うのです。
さらに、原子式P, Q, R …は括弧を持たない、となっており、変数A, B, C…は原子式を表すこともある、ということなので、このようなケースは有りうると思うのです。

（そうなると、定理２の始切片自体を否定することになるのですが・・・混乱してきました）

0349１３２人目の素数さん

2012/08/10(金) 20:08:03.45

＞こうなるためには、AやCといった記号化された論理式は、必ず外側に括弧が付かなければならないと思うのですが、違いますか？
というよりも、結合子によって結合された項目の外側には括弧を付けなければならない、ということでしょうか？
p∧q∧r　なら　((p∧q)∧r) というように
※そういった前提の明確な記述が見当たりませんでした

上記の前提があるなら納得です。
後述されている括弧の省略においても、省略されているだけで実際は括弧がある、と。

0350１３２人目の素数さん

2012/08/10(金) 20:20:59.45

ご推察の通り。それを防ぐために、論理式を構成する際に括弧を用いて Unique Redability を確保してある。
１＋２×３と書いてあった場合、(１＋２)×３なのか１＋(２×３) なのか判別できないのと同じ。
（もちろん普通は掛け算を優先すると約束するが）

＞※そういった前提の明確な記述が見当たりませんでした
わざわざ Unique Redability に言及してあるのに、その明確な記述がないとは考えにくいけど。

0351１３２人目の素数さん

2012/08/10(金) 20:40:29.94

>>350
ありがとうございます！

頭から読み直したら、
「(2) A, Bを論理式とすると、(A∧B)、(A∨B)、(A→B)、(￢A)はおのおの論理式である」
と定義されていました。さりげなく括弧付きで定義されていました。

おかげさまでスッキリしました。

0352１３２人目の素数さん

2012/08/10(金) 21:56:12.84

括弧はかならず付けることにする、
可読性のために省略する場合も本当は付いているものとみなす、
ということはあれだけテイネイに書かれた本なんだからどっかに書いてあると思うよ

0353あぼーん

NGNG

あぼーん

0354１３２人目の素数さん

2012/10/08(月) 04:55:25.85

　ＦＬ（Fregean　Theory of Logic）では、論理法則とは、恒真式（tautology, or universally valid formula）のことと信じられてきた。
しかし、これは誤りである。　その《反例》としては、次がある；－

[Ｐ⊃Ｑ] ⊃ [～Ｑ⊃～Ｐ]　は恒真式（tautology）であり、
対偶律：　《　[ＰならばＱ] ならば [ＱでないならばＰでない] 》
、　　　が成立している。

されど・されど・されど、[Ｐ⊃(Ｑ∨Ｒ)] ⊃[(Ｐ⊃Ｑ)∨(Ｐ⊃R)] はtautologyであるにも拘わらず、　《　[Ｐならば(ＱかＲ)] ならば、
[　(ＰならばＱ)であるか、又は(ＰならばRである)　] 》　は
成立しない ■

0355１３２人目の素数さん

2012/10/08(月) 04:59:54.27

どうも、M_SHIRAISHI氏(つーか、ＥＵＲＭＳ)の理論」のほうが正しいようだな。

例えば、対偶律は、従来は、 (Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) で表わされるもののこと
と考えられていたのだっただが、これは、どうやら、誤りだったようだ。

そして、M_SHIRAISHI氏の言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］⇒/p,q/［￢Ｑ(ｘ)⇒/x/￢Ｐ(ｘ)］
こそが【対偶律】を正しく捉えてたものと考えられる。

M_SHIRAISHI氏（たち？）の主張する Logical Reformationは、おそらく、世界を
席巻することとなろう。

http://www.age.ne.jp/x/eurms/RONRI_Kaikaku.html

0356１３２人目の素数さん

2012/10/08(月) 05:54:03.62

URL まちごうた。(＞ｪ＜;)

http://www.age.ne.jp/x/eurms/RONRI_Kaikaku.html

　　　　　　　　　　　↓

http://www.age.ne.jp/x/eurms/Ronri_Kaikaku.html

0357１３２人目の素数さん

2012/10/12(金) 03:55:22.81

Ｐ⊃(Ｑ∨Ｒ)] ⊃[(Ｐ⊃Ｑ)∨(Ｐ⊃R)]

これのどこがautologyやねん。

0358１３２人目の素数さん

2012/10/13(土) 11:07:18.22

>>357 ：１３２人目の素数さん：2012/10/12(金) 03:55:22.81
＞Ｐ⊃(Ｑ∨Ｒ)] ⊃[(Ｐ⊃Ｑ)∨(Ｐ⊃R)]
　＞
＞これのどこがautologyやねん。

真理表を書いてみろ。

0359１３２人目の素数さん

2012/10/13(土) 11:10:38.36

0360１３２人目の素数さん

2012/10/13(土) 14:08:15.18

357 ：１３２人目の素数さん：2012/10/12(金) 03:55:22.81
＞Ｐ⊃(Ｑ∨Ｒ)] ⊃[(Ｐ⊃Ｑ)∨(Ｐ⊃R)]
　＞
＞これのどこがautologyやねん。

アホか、オマエ！　autology じゃなくて tautology だ。

0361１３２人目の素数さん

2012/10/13(土) 15:31:26.06

定期的に湧いて出てきますね

0362１３２人目の素数さん

2012/10/16(火) 00:38:30.44

弁証的唯物論（der dialektische Materialismus, material dialecical materialism ）
だとよ。　笑っちゃうぜ。　(^o^)

0363１３２人目の素数さん

2012/10/16(火) 02:13:43.49

dialectical materialism

0364あぼーん

NGNG

あぼーん

0365あぼーん

NGNG

あぼーん

0366１３２人目の素数さん

2012/10/17(水) 21:49:03.82

>>364^-365v 何時もおんなじ事を書くバカとは、貴様のことだ。　こんバカタレが、恥を知れ！！！！

0367１３２人目の素数さん

2012/10/25(木) 00:18:45.52

『情報科学における論理』の問1.1
以下は正しいか、正しい時にはその証明を、正しくないときには反例を与えよ。

1) A⇒BおよびAがともに充足可能ならば、Bも充足可能である

これ、どうやって証明すればいいの？
証明も何も、書いてあることそのまんまでしょ
v(A)=tかつv(A⇒B)=tならv(B)=tじゃん

問題にすらなってないと思うんだけど、こういうときの証明の手順とかルール的なものがあるの？？
どういう答えが求められているのかさっぱり分からん

0368１３２人目の素数さん

2012/10/25(木) 00:32:03.88

反例：
P と P⇒Q∧￢Q はともに充足可能だが、Q∧￢Q は充足不可能

※P と P⇒Q∧￢Q を充足する valuation は異なってもよい

0369１３２人目の素数さん

2012/10/25(木) 01:28:56.73

＞※P と P⇒Q∧￢Q を充足する valuation は異なってもよい

そういうことかぁぁぁ！！！
充足可能＝トートロジーみたいに思ってたｗ
Thx！

0370N_SHIRAISHI

2012/10/26(金) 23:28:00.19

>>367
>>368
>>368

ﾜﾛﾀ｡

http://www.age.ne.jp/x/eurms/Ronri_Kaikaku.html

0371あぼーん

NGNG

あぼーん

0372あぼーん

NGNG

あぼーん

0373１３２人目の素数さん

2012/10/27(土) 10:30:50.17

http://www.age.ne.jp/x/eurms/GDL.html
”[PからQが証明される]なる命題は、Qよりも論階が一階だけ高い。”

上記の[PからQが証明される]が、
「Pが真となるいかなる状況でも、Qが真となる」
という意味であり、Pが自然数論の公理であるなら
[PからQが証明される]は自然数論の中では表わせない。

ゲーデル命題Gは自然数論の中では偽となる状況がある。
そのような状況ではGを[PからGが証明されない]、つまり
「Pが真でありかつGが偽である状況がある」とは解釈できない。
なぜなら、Gは偽である状況があるのだから
「Pが真でありかつGが偽である状況がある」
は真でなくてはならないからだ。

つまりGは[PからGが証明されない]とは異なる。

但しこのことは、すでにヴィトゲンシュタインが喝破している。

0374あぼーん

NGNG

あぼーん

0375あぼーん

NGNG

あぼーん

0376令豚

2012/12/24(月) 10:33:33.67

　ε⌒ ﾍ⌒ヽﾌ
（　　( 　・ω・）　ブヒブヒ
　しーし─Ｊ

0377１３２人目の素数さん

2013/01/05(土) 17:23:19.30

合理主義を極めると世の中こう見える(´∵)っ感情自己責任論

0378あのこうちやんは始皇帝だった

2013/01/05(土) 18:58:44.64

　２０代と６０代の、ニート・無職の、女性恐怖症の、頭デッカチの虚弱児・ひ弱の、ゴミ・クズ・カス・無能・虫けらのクソガキども！

　死ね！！！！！！！！！！！！！！！！！！！！！！

0379あぼーん

NGNG

あぼーん

0380あぼーん

NGNG

あぼーん

0381あぼーん

NGNG

あぼーん

0382あぼーん

NGNG

あぼーん

0383１３２人目の素数さん

2013/05/19(日) 19:28:46.48

このスレでの議論どう思う？

ざるそばはもりそばと同じだ！３
http://ikura.2ch.net/test/read.cgi/jnoodle/1365051961/

0384１３２人目の素数さん

2013/05/20(月) 13:29:08.93

何度も書かんでいい

0385あぼーん

NGNG

あぼーん

0386四年目

2013/07/20(土) NY:AN:NY.AN

　　　／　／　　　＼　＼
　／　（●）　（●）　＼　　
　|　　　　　　､_! 　　　　　| 　　
　＼　　　 'ｰ=-'　　　／
,,.....イ.ヽヽ、___ ーーノﾞ-､.
:　　| 　';　＼_____ ノ.| ヽ　i
　　 |　　＼/ﾞ（__)＼,| 　i　|
　　＞　　ヽ. ハ　 | 　 |｜
いやー群馬からは大変です

0387あぼーん

NGNG

あぼーん

0388１３２人目の素数さん

2014/04/13(日) 22:59:35.40

出題します。

「落ちる」「受かる」を互いの否定命題とするとき、
次の２つの命題も互いに否定命題であるか？

Ｐ「Twitterばっかやってたら落ちる。」
Ｑ「Twitterばっかやってても受かる人は受かる。」

0389１３２人目の素数さん

2014/04/13(日) 23:52:07.25

後者は空虚に真

0390１３２人目の素数さん

2014/05/29(木) 23:44:13.43

>>http://ai.2ch.net/test/read.cgi/math/1364351100/622
・PMが書かれた当時は、（型付き変数を使って記号としての論理式を扱うだけで
充分技術的で最先端の研究。ポアンカレやブラウワーに比べて思弁的過ぎた訳では全くない。

・デデキント・フレーゲ・ペアノ・ラッセルの時代に問題になっていたのは
自然数の理論と、実数の理論、せいぜい大学一年生レベルの微分積分を
「論理的に厳密に、正確に」遂行することであって、
「既存の数学全て」ではない。

・数学についてのまともな見識を持たない人が数学の基礎づけをしたなどと豪語してはいけません．
フレーゲ・ラッセルの論理体系はヒルベルトやアッケルマンが
一階述語論理を定式化する前段階の発展途上の過渡期の理論とみるべき。
数学の基礎付けの研究の進展に貢献した、くらいがまともな評価。

ラッセルが「豪語」したというのは具体的にはどう主張したの？
どっちかというと、過渡期の理論で、技術的洗練が足りない段階でゴリ押したので
不必要に複雑でエレガントさのかけらもない理論となって
誰にもきちんと顧みられなくなったと言うのが真相に近いと思う。

可述主義がだめだとか言い出すとポアンカレとかまで
「数学についてのまともな見識を持たない人」になりかねないがそれで良いの？
数学者としてはポアンカレの方がずっと大数学者だが、思弁的かどうかで言うなら
ポアンカレのほうがラッセルよりずっと思弁的ともいえるし、

0391１３２人目の素数さん

2014/05/30(金) 20:57:14.10

>>http://ai.2ch.net/test/read.cgi/math/1364351100/640
誰もアリストテレスのカテゴリー論を説明してくれなんて書いてなくて
フレーゲやラッセルと近いというのを説明しろと書いてるのに、
「フレーゲ」や「ラッセル」の欠片も出て来ないんだが、
それで何か反論になるの？

0392１３２人目の素数さん

2014/08/06(水) 10:31:25.14

x->y=y^x

0393１３２人目の素数さん

2014/08/27(水) 23:49:51.58

「私は嘘つきです。」

0394ド狸 ◆2VB8wsVUoo

2014/08/28(木) 08:17:12.19

狸

♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭
♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯
♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭
♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯
♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭
♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯
♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭
♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯
♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭
♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯
♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭
♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯
♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭
♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯
♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭
♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯
♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭
♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯
♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭
♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯・♭♭・♯♯

0395１３２人目の素数さん

2014/09/04(木) 02:30:15.43

谷垣氏が幹事長に就任しなければならないことを、背理法により証明せよ。

0396１３２人目の素数さん

2014/09/05(金) 22:06:26.74

背理法ってのは、背に腹変えられないって意味じゃあないんだよ。

0397１３２人目の素数さん

2014/09/10(水) 18:04:54.90

先輩の言うことは絶対という非論理的な人に先輩が
俺の言うことは聞くなと言ったらどうなる

■ このスレッドは過去ログ倉庫に格納されています