5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

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

★★論理式の証明は1行目から解りません★★

1 : :02/04/16 20:26
コタエヲミルト、ソノイッテイルコトハナントカワカリマスガ
さぁ、いざ、自分で証明しようと書こうとすると
何を書いたらいいのかさっぱり出てきません・・・・

みんなどういう発想で書き出すのですか?

2 :132人目の素数さん:02/04/16 20:28
論理はためになって
楽しいよね

3 :132人目の素数さん:02/04/16 21:35
ぼくは、ヒルベルト体系でやってからゲンツェン体系をやるのが良い
のではないかと思うのだが。(ゲンツェンにもLKとNKがあるけど。)
命題論理だけか、述語論理もか、数学的公理も有りかなどによっても
違うだろう。また、ヒルベルト体系の論理式やNKの論理式と、LKの
ゼクヴェンツとは意味のレヴェルがちがうんだよね。
尤も、意味なしのゲームと考えればいい(ヒルベルト体系なら、公理の
式と推論規則の)とも言えるのだが。
ぼくの言ってる事は専門家から見て間違ってる?

4 :132人目の素数さん:02/04/16 22:09
演繹で「仮定を抜く」っていうのがよく分からない。

5 :俺的には:02/04/17 00:12
LKでの証明は結構分かりやすい。
ヒルベルト系での証明はほとんど手品。


6 :132人目の素数さん:02/04/17 00:17
灯火だったらなんだっていいよ.
外人が「ニホンゴ ワカリニクイデース」って言ってるくらいの話だったら,井戸端でしとけ.

7 :132人目の素数さん:02/04/17 09:07
自然な推論(NK)では、ヒルベルト流の体系についてのメタ定理であるところの
いわゆる「演繹定理」にあたるものは、基本的な推論規則として最初から設定
されている。
自然演繹では、すでに証明された論理式からだけではなく、仮定からも推論する。
すなわち、仮定を一時的に公理のように考える。

8 :132人目の素数さん:02/04/17 09:13
ヒルベルト流やNKをすっ飛ばして、いきなりLKを学んで
いきなり分ったつもりになる人がいるとしたら、その気が知れ
ない。

9 :132人目の素数さん:02/04/17 09:25
「論理とは実は何なのだろう。
 できあいの論理の体系を説明したり、数学的にきちんと定式化された
 論理についての問題を扱うことには抵抗がないが、それらはあくまでも
 本当の論理の仮の姿であり、その背後に本当の論理があるはずだと思え
 た。」

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

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)