2010年9月24日 20時44分終了#50931 [学問] し午後のネタがない

ID:v6wO4XVrWx (・∀・)ｲｲ!! (5)

「午後の数字」#50930で「×9=42、=5+5、＜2×」と答えた方への質問でした。

この推論は正しいでしょうか。

その著者はカント主義者である。
カント主義者はヘーゲルを好まない。
加藤はヘーゲルを好む。

∴その著者は加藤ではない。

追記

答え：正解

a:その著者
P:カント主義者（修正します。Px:[xは]カント主義者）
Q○△:○は△を好む。
b:ヘーゲル
c:加藤

推論式:Pa,∀x(Px⊃¬Qxb),Qcb→¬(a=c)
(1)Pa　（その著者はカント主義者である）
(2)∀x(Px⊃¬Qxb)　(カント主義者はヘーゲルを好まない)
(3)Qcb　（加藤はヘーゲルを好む）

(4)¬¬(a=c) 背理法
(5)a=c
(6)Pa⊃¬Qab
(7)¬Qab
(8)¬Qcb
(9)Qcb∧¬Qcb（矛盾）
(10)¬(a=c) (題意)

引用『記号論理学』　清水義夫　著
　推論　―その2―　例題１(p69)　より。

ここから正解者は非公開アンケでやります。

1	もりたぽ	1	(1.8%)
2	間違い。その著者は加藤である。	8	(14.5%)
3	間違い。答えはない。	14	(25.5%)
4	間違い。推論が間違っている。	6	(10.9%)
5	正解。	26	(47.3%)
無視		0

棒グラフまたは左の番号をクリックするとその項目を元にしたしっかりアンケートが作れます。

多い順に並べる

回答頻度、省略された選択肢の全表示、などの詳細表示

この円グラフをブログに貼れます→

合計回答数: 55人 / 55個

このアンケートと年齢、性別、出身都道府県、居住都道府県でのクロス集計を見る Tweet

このアンケートへのトラックバック用URL: http://enquete.razil.jp/tb.php/50931

2 :名無しさん 10/09/24 19:52 ID:gQobZ5aP4S (・∀・)ｲｲ!! (2)

これも哲学とか何とかが隠れてるんかねぇ…

3 :名無しさん 10/09/24 19:54 ID:5mevTIBCHq (・∀・)ｲｲ!! (2)

命題論理って言うんだっけ

4 :名無しさん 10/09/24 20:20 ID:2mw6gz,YiN (・∀・)ｲｲ!! (2)

カントもヘーゲルもさっぱりわからんのですが
2つ目の文章は命題足り得るのでしょうか

5 :名無しさん 10/09/24 21:46 ID:LAeOvk91X5 (・∀・)ｲｲ!! (2)

素朴に考えて、設問の仮定をそれぞれ（１）（２）（３）と記する。
Aさんを加藤だと仮定すると
（３）よりAさんはヘーゲルを好む
（２）の対偶よりAさんはカント主義者ではない
（１）の対偶よりAさんは筆者ではない
よって加藤は筆者ではない、言い換えると、筆者は加藤ではない

6 :名無しさん 10/09/25 02:11 ID:9w6Hnp2w6S (・∀・)ｲｲ!! (2)

アンケには参加できなかったけど、昔やったなあと懐かしくなった
今度、もし深夜の数学とか違う時間帯にあったら参加してみたいわー

7 :名無しさん 10/11/02 15:52 ID:p0g28dSsxf (・∀・)ｲｲ!! (2)

答えがちょっといかんです。厳密にやるなら徹底しないと。
P:カント主義者　←これではダメ、
Px:xはカント主義者である　にしないと文法上エラー。

8 :1 10/11/02 21:28 ID:lO5g8vJb-I (・∀・)ｲｲ!! (2)

>>7
やべ、写し間違えてました。
訂正します。

板に戻る 全部 前100 最新50