Embed Size (px)
Citation preview
「行けたら行く」の論理構造〜きっと君は来ない〜
鯵坂もっちょ
・ブログ「アジマティクス」・わかりやすい文章がかけます
こういう者です
行けたら行く
クリスマスなんだけどもしよかったら…
行けたら行く
行けたら行く
※来ない
信用できない言葉・行けたら行く・ごめん寝てた・全然勉強してない・お年玉、貯金しといたから・怒らないから正直に言いなさい・この分野には詳しくないので 素人質問で恐縮なのですが・何もしないから・先っちょだけだから
信用できない言葉・行けたら行く・ごめん寝てた・全然勉強してない・お年玉、貯金しといたから・怒らないから正直に言いなさい・この分野には詳しくないので 素人質問で恐縮なのですが・何もしないから
信用できない言葉
なぜ来ないのか？本日のテーマ
命題正しいか正しくないか（真偽）が判定できる（ことが期待されている）文のこと。
その前に一つ用語を
命題正しいか正しくないか（真偽）が判定できる（ことが期待されている）文のこと。例：1+1=2。りんごは赤い。12/24は正月。命題でない例：おはよう。なんでやねん。掃除しろ
命題正しいか正しくないか（真偽）が判定できる（ことが期待されている）文のこと。例：1+1=2。りんごは赤い。12/24は正月。命題でない例：おはよう。なんでやねん。掃除しろその文について「ウソ（偽）」とか「ホント（真）」とか言えるやつは命題
行けたら行くそういう観点で捉えると、２つの命題を見出すことができる
行けたら行く
行ける 行く
「行ける」と「行く」との組み合わせでできている文は
行ける行く2×2=4通りの状態を考えることができる
かどうか（真偽）
かどうか（真偽）
行ける
行く
真
真
偽
偽
行ける
行く
真
真
偽
偽
行けるし行く
行ける
行く
真
真
偽
偽
行けるし行く
行けないし行かない
行ける
行く
真
真
偽
偽
行けるし行く
行けないし行かない
行けないけど行く
行ける
行く
真
真
偽
偽
行けるし行く
行けないし行かない
行けないけど行く
問題はここ
行けるは真だが行くは偽だ
行ける
行く
真
真
偽
偽
行けるし行く
行けないし行かない
行けないけど行く
行ける
行く
真
真
偽
偽
行けるし行く
行けないし行かない
行けるけど行かない
行けないけど行く
クリスマスなんだけどもしよかっ
行けるけど行かない
行けるけど行かない
※つらい
「行ける」と「行く」からできる４つの状況がご確認いただけたかと思います
？
「行けたら行く」出てきてないじゃん
行ける⇒行く※¬(行ける)∨行く
「行けたら行く」は論理的には
として捉えられます
ならば
⇒（ならば）とは？
⇒（ならば）とは？２つの真理値から１つの真理値を得る論理演算子のひとつ（二項演算）。
⇒（ならば）とは？２つの真理値から１つの真理値を得る論理演算子のひとつ（二項演算）。P Q
真偽真偽
真真偽偽
なんか演算真真真偽
P Q真偽真偽
真真偽偽
真偽真偽
真真真偽
PandQ P Q真偽真偽
真真偽偽
真偽真偽
真偽偽偽
PorQ
P Q真偽真偽
真真偽偽
真偽真偽
偽真真偽
PxorQ P Q真偽真偽
真真偽偽
真偽真偽
真偽真真
P⇒Q例
P Q真偽真偽
真真偽偽
真偽真偽
真真真偽
PandQ P Q真偽真偽
真真偽偽
真偽真偽
真偽偽偽
PorQ
P Q真偽真偽
真真偽偽
真偽真偽
偽真真偽
PxorQ P Q真偽真偽
真真偽偽
真偽真偽
真偽真真
P⇒Q例
行ける 行く真偽真偽
真真偽偽
真偽真偽
真偽真真
行けたら行く
行ける 行く真偽真偽
真真偽偽
真偽真偽
真偽真真
行けたら行く
「行けたら行く」って言ってた人がウソをついたことになる状況が一つだけある
行ける 行く真偽真偽
真真偽偽
真偽真偽
真偽真真
行けたら行く
「行けたら行く」って言ってた人がウソをついたことになる状況が一つだけある
行ける 行く真偽真偽
真真偽偽
真偽真偽
真偽真真
行けたら行く
「行けたら行く」って言ってた人がウソをついたことになる状況が一つだけある
行ける 行く真偽真偽
真真偽偽
真偽真偽
真偽真真
行けたら行く
「行けるけど行かない」
「行けたら行く」って言ってた人がウソをついたことになる状況が一つだけある
結論「行けたら行く」と言ってた人は「行けるけど行かない」という行動をとらない限り、ウソをついたことにはならない。ので来ない。（行かなかったら「行けなかった」 と言えばいい）
結論「行けたら行く」と言ってた人は「行けるけど行かない」という行動をとらない限り、ウソをついたことにはならない。ので来ない。（行かなかったら「行けなかった」 と言えばいい）
ここだけ見たら当たり前に思えてしまうけど、
ちゃんと論理的な下支えがあった
本日の裏テーマ
論理遊びって楽しい！
論理あそびいろいろ・論理語に変換するあそび・対偶取るあそび・否定してみるあそび・矛盾をはっきりさせるあそび・誤謬を見つけるあそび
やってみよう！
