91
31 ななしのよっしん
2014/02/26(水) 21:11:01 ID: +wEy2STsfA
トートロジーって、
「夢だけど夢じゃなかった」みたいなことでしょ?
32 ななしのよっしん
2014/06/24(火) 15:41:04 ID: ZiNskxWmWv
いや違うと思う
33 ななしのよっしん
2014/07/13(日) 13:47:27 ID: PNo/r0XQeG
34 ななしのよっしん
2014/07/15(火) 20:18:23 ID: XlU2NyTWLU
言葉には「意味」と「正しさ」の2つの側面がある
「トートロジー」という概念を巡っては、この2つが混同されるケースがかなり多いと思う
35 ななしのよっしん
2014/07/20(日) 18:13:41 ID: O/mlHBjru0
食材がうまいかどうかの議論で
「(本物の)うまい○○はうまい」
とかいうトートロジーをドヤ顔で披露するやつ大嫌い
36 ななしのよっしん
2014/08/22(金) 15:20:05 ID: f2SWHSIN0J
うまいうんこはうまい
37 ななしのよっしん
2014/09/26(金) 01:33:59 ID: mdCF1wPRwr
論理学的なトートロジーとは、真理表で常に真だってこと。
そして証明可能なのとトートロジーが同値だってことは
"完全性定理"で証明されている…らしい
トートロジー?定理?って思ってこんなところまで迷ってきてしまった人のために覚書
つまり証明できない(=間違った定理)って示すためには、トートロジーじゃないって言えば十分だよ!
真理表でトートロジーか(=反例があるか)判定できるから絶対示せるよ!
トートロジーって便利だね!っていう話 たぶん
38 ななしのよっしん
2014/10/01(水) 19:22:48 ID: ql/teKTwfZ
39 ななしのよっしん
2014/10/04(土) 19:17:12 ID: g4zbxbdviX
40 ななしのよっしん
2014/10/09(木) 02:18:45 ID: /ox06elwWG
村の問題の答えってたしか
どっちかの道を指さしながら
「あなたは正直村の人間で、かつこの道は正直村への道である」または「あなたはうそつき村の人間で、かつこの道はうそつき村への道である」のどちらか一方が真であるということは本当か?
って質問すればどちらを指さしても正直村への道ならはい、うそつき村への道ならいいえって答えるんじゃなかったっけ?
41 ななしのよっしん
2014/11/16(日) 18:43:00 ID: KE4hGsXGV8
42 ななしのよっしん
2014/12/10(水) 12:37:37 ID: CiAjf5A4tr
死んだオウムのことか
43 ななしのよっしん
2015/01/28(水) 00:42:24 ID: fkUL/h7tEZ
44 ななしのよっしん
2015/02/25(水) 09:57:57 ID: RaD1LpZZay
こいつが有機体ならぶっ殺す!メカなら!!ぶっ壊す!!
45 ななしのよっしん
2015/04/27(月) 20:59:48 ID: H1mTscaoL1
適者生存
46 ななしのよっしん
2015/06/09(火) 23:37:56 ID: FXZz1CIjJ4
>>37
ありがとう。感謝です。
数理論理クッソ難しい…この記事に書いてるような簡単な内容には程遠い
47 ななしのよっしん
2015/08/16(日) 20:00:55 ID: oiSwykul58
「深淵をのぞく時、深淵をのぞいているのだ」
http://d
元はなんJから
48 ななしのよっしん
2015/10/05(月) 00:05:50 ID: 4KlQoeOjoM
記号論理学の一番根っこの部分をちゃんと理解できてれば割と簡単なんだよ。
論理式というのは、例えば命題論理であれば真か偽のどっちかの情報が何個か入ってくる回路みたいなものだ。適当に論理式を作ると、入力の組み合わせによって、その全体の出力は真になったり偽になったりする。
ところが物によっていかなる組み合わせを入力しても必ず真が出てくる普遍性をもった式があって、こういうのを恒真式、トートロジーといい、論理学における普遍的な真理だと捉える。
例: 一つの命題からなる単純な論理式 a というのがあったとする。aに真を入力すると真、偽を入力すると偽が出てくる(当たり前)。だからこの式の真偽はケースバイケースで真理性がない。
一方これを二つ組み合わせ、「a || !a」(「aは真か偽のどっちか」)としてやると、必ずどちらかは真になるから式全体の出力は常に真で、論理的な真理だということが分かる(少なくとも二値論理では)
49 ななしのよっしん
2015/10/05(月) 09:27:54 ID: FqX2lpLhMc
↑
これが「一見すると難しい事を言っているようだが、実は中身が何もない」代表例です
50 ななしのよっしん
2015/10/05(月) 09:56:54 ID: ED7J1PHi0b
51 ななしのよっしん
2015/10/19(月) 02:47:09 ID: supMyBafYX
"nが4以上の偶数なら素数の和に分解できる"
∀n( n≧4∧「nは偶数」 → ∃p,q「p,qは素数」∧ n=p+q)
もトートロジーだったりするのだろうか
トートロジーは本当に内容のない無意味なものなんだろうか
トートロジーとは一体…
52 ななしのよっしん
2016/01/02(土) 04:03:03 ID: f3IbDoOMn3
「トートロジーとはトートロジーである」
って説明文かと思いきや真面目だった
53 ななしのよっしん
2016/01/04(月) 23:21:02 ID: HV+w3yOJG8
ビタミンCがたくさん含まれていることを示すために、レモンが引き合いに出されることが多いが
実は、レモン1個に含まれるビタミンCの量は、レモン1個分しかない。
54 野獣先輩
2016/03/18(金) 05:00:19 ID: OPcDy7bzkF
なぜそういう結論になるのか理由が無いからループに陥るんだろ。
55 ななしのよっしん
2016/03/26(土) 14:20:46 ID: POU7eCIKR/
急にどうしたんだ 野獣先輩
56 ななしのよっしん
2016/04/28(木) 23:48:06 ID: dNVAtCnYkh
頭痛が疼痛で痛いわ~
57 ななしのよっしん
2016/07/14(木) 13:46:19 ID: Te68Qc08ix
58 ななしのよっしん
2016/07/14(木) 13:55:37 ID: PlszPzchGY
トリコのEDで知った
59 ななしのよっしん
2016/07/25(月) 01:18:07 ID: h1Z1edX3n8
60 ななしのよっしん
2016/09/07(水) 04:47:35 ID: h1Z1edX3n8
くすっときたので一枚の座布団を差し上げます
五千円とは千円の5倍である
ほめた!
ほめるを取消しました。
ほめるに失敗しました。
ほめるの取消しに失敗しました。