狠狠撸

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

More Related Content

What's hot (20)

础奥厂上で使えるストレージ十番胜负
础奥厂上で使えるストレージ十番胜负础奥厂上で使えるストレージ十番胜负
础奥厂上で使えるストレージ十番胜负
Akio Katayama
?
AWS Black Belt Online Seminar 2017 Amazon DynamoDB
AWS Black Belt Online Seminar 2017 Amazon DynamoDB AWS Black Belt Online Seminar 2017 Amazon DynamoDB
AWS Black Belt Online Seminar 2017 Amazon DynamoDB
Amazon Web Services Japan
?
リペア時間短縮にむけた取り組み@Yahoo! JAPAN #casstudy
リペア時間短縮にむけた取り組み@Yahoo! JAPAN #casstudyリペア時間短縮にむけた取り組み@Yahoo! JAPAN #casstudy
リペア時間短縮にむけた取り組み@Yahoo! JAPAN #casstudy
驰补丑辞辞!デベロッパーネットワーク
?
WS Black Belt Online Seminar 2016 RDBのAWSへの移行
WS Black Belt Online Seminar 2016 RDBのAWSへの移行WS Black Belt Online Seminar 2016 RDBのAWSへの移行
WS Black Belt Online Seminar 2016 RDBのAWSへの移行
Amazon Web Services Japan
?
IaC事始め Infrastructure as Code やってみる?
IaC事始め Infrastructure as Code やってみる?IaC事始め Infrastructure as Code やってみる?
IaC事始め Infrastructure as Code やってみる?
大使 梶原
?
スマホマーケットの概要と、 マーケティングの失敗例と改善 (アナリティクス アソシエーション 特別セミナー)
スマホマーケットの概要と、マーケティングの失敗例と改善 (アナリティクス アソシエーション 特別セミナー)スマホマーケットの概要と、マーケティングの失敗例と改善 (アナリティクス アソシエーション 特別セミナー)
スマホマーケットの概要と、 マーケティングの失敗例と改善 (アナリティクス アソシエーション 特別セミナー)
Tokoroten Nakayama
?
20190828 AWS Black Belt Online Seminar Amazon Aurora with PostgreSQL Compatib...
20190828 AWS Black Belt Online Seminar Amazon Aurora with PostgreSQL Compatib...20190828 AWS Black Belt Online Seminar Amazon Aurora with PostgreSQL Compatib...
20190828 AWS Black Belt Online Seminar Amazon Aurora with PostgreSQL Compatib...
Amazon Web Services Japan
?
AWS Black Belt Techシリーズ Amazon Workspaces
AWS Black Belt Techシリーズ  Amazon WorkspacesAWS Black Belt Techシリーズ  Amazon Workspaces
AWS Black Belt Techシリーズ Amazon Workspaces
Amazon Web Services Japan
?
Sidekiq Proを1年ほど使ってみて良かったところ、困ったところ | 新宿.rb 29th #shinjukurb
Sidekiq Proを1年ほど使ってみて良かったところ、困ったところ | 新宿.rb 29th #shinjukurbSidekiq Proを1年ほど使ってみて良かったところ、困ったところ | 新宿.rb 29th #shinjukurb
Sidekiq Proを1年ほど使ってみて良かったところ、困ったところ | 新宿.rb 29th #shinjukurb
Koichiro Sumi
?
MySQL 5.7にやられないためにおぼえておいてほしいこと
MySQL 5.7にやられないためにおぼえておいてほしいことMySQL 5.7にやられないためにおぼえておいてほしいこと
MySQL 5.7にやられないためにおぼえておいてほしいこと
yoku0825
?
N04_デジタルバンクを目指す北國銀行の挑戦とその歩み [Microsoft Japan Digital Days]
N04_デジタルバンクを目指す北國銀行の挑戦とその歩み [Microsoft Japan Digital Days]N04_デジタルバンクを目指す北國銀行の挑戦とその歩み [Microsoft Japan Digital Days]
N04_デジタルバンクを目指す北國銀行の挑戦とその歩み [Microsoft Japan Digital Days]
日本マイクロソフト株式会社
?
AWS Black Belt Online Seminar 2017 Amazon Relational Database Service (Amazon...
AWS Black Belt Online Seminar 2017 Amazon Relational Database Service (Amazon...AWS Black Belt Online Seminar 2017 Amazon Relational Database Service (Amazon...
AWS Black Belt Online Seminar 2017 Amazon Relational Database Service (Amazon...
Amazon Web Services Japan
?
MySQL 8.0で憶えておいてほしいこと
MySQL 8.0で憶えておいてほしいことMySQL 8.0で憶えておいてほしいこと
MySQL 8.0で憶えておいてほしいこと
yoku0825
?
え、まって。その並列分散処理、Kafkaのしくみでもできるの? Apache Kafkaの機能を利用した大規模ストリームデータの並列分散処理
え、まって。その並列分散処理、Kafkaのしくみでもできるの? Apache Kafkaの機能を利用した大規模ストリームデータの並列分散処理え、まって。その並列分散処理、Kafkaのしくみでもできるの? Apache Kafkaの機能を利用した大規模ストリームデータの並列分散処理
え、まって。その並列分散処理、Kafkaのしくみでもできるの? Apache Kafkaの機能を利用した大規模ストリームデータの並列分散処理
NTT DATA Technology & Innovation
?
JPC2018[F4]超入門! やさしい Microsoft Dynamics 365 の世界 (tech編)
JPC2018[F4]超入門! やさしい Microsoft  Dynamics 365 の世界 (tech編)JPC2018[F4]超入門! やさしい Microsoft  Dynamics 365 の世界 (tech編)
JPC2018[F4]超入門! やさしい Microsoft Dynamics 365 の世界 (tech編)
MPN Japan
?
Dbts 分散olt pv2
Dbts 分散olt pv2Dbts 分散olt pv2
Dbts 分散olt pv2
Takashi Kambayashi
?
OutSystems ユーザー会 セッション資料
OutSystems ユーザー会 セッション資料OutSystems ユーザー会 セッション資料
OutSystems ユーザー会 セッション資料
Tsuyoshi Kawarasaki
?
20210127 今日から始めるイベントドリブンアーキテクチャ AWS Expert Online #13
20210127 今日から始めるイベントドリブンアーキテクチャ AWS Expert Online #1320210127 今日から始めるイベントドリブンアーキテクチャ AWS Expert Online #13
20210127 今日から始めるイベントドリブンアーキテクチャ AWS Expert Online #13
Amazon Web Services Japan
?
Snowflake Architecture and Performance
Snowflake Architecture and PerformanceSnowflake Architecture and Performance
Snowflake Architecture and Performance
Mineaki Motohashi
?
Amazon Inspector v2で脆弱性管理を始めてみた
Amazon Inspector v2で脆弱性管理を始めてみたAmazon Inspector v2で脆弱性管理を始めてみた
Amazon Inspector v2で脆弱性管理を始めてみた
cluclu_land
?
础奥厂上で使えるストレージ十番胜负
础奥厂上で使えるストレージ十番胜负础奥厂上で使えるストレージ十番胜负
础奥厂上で使えるストレージ十番胜负
Akio Katayama
?
AWS Black Belt Online Seminar 2017 Amazon DynamoDB
AWS Black Belt Online Seminar 2017 Amazon DynamoDB AWS Black Belt Online Seminar 2017 Amazon DynamoDB
AWS Black Belt Online Seminar 2017 Amazon DynamoDB
Amazon Web Services Japan
?
WS Black Belt Online Seminar 2016 RDBのAWSへの移行
WS Black Belt Online Seminar 2016 RDBのAWSへの移行WS Black Belt Online Seminar 2016 RDBのAWSへの移行
WS Black Belt Online Seminar 2016 RDBのAWSへの移行
Amazon Web Services Japan
?
IaC事始め Infrastructure as Code やってみる?
IaC事始め Infrastructure as Code やってみる?IaC事始め Infrastructure as Code やってみる?
IaC事始め Infrastructure as Code やってみる?
大使 梶原
?
スマホマーケットの概要と、 マーケティングの失敗例と改善 (アナリティクス アソシエーション 特別セミナー)
スマホマーケットの概要と、マーケティングの失敗例と改善 (アナリティクス アソシエーション 特別セミナー)スマホマーケットの概要と、マーケティングの失敗例と改善 (アナリティクス アソシエーション 特別セミナー)
スマホマーケットの概要と、 マーケティングの失敗例と改善 (アナリティクス アソシエーション 特別セミナー)
Tokoroten Nakayama
?
20190828 AWS Black Belt Online Seminar Amazon Aurora with PostgreSQL Compatib...
20190828 AWS Black Belt Online Seminar Amazon Aurora with PostgreSQL Compatib...20190828 AWS Black Belt Online Seminar Amazon Aurora with PostgreSQL Compatib...
20190828 AWS Black Belt Online Seminar Amazon Aurora with PostgreSQL Compatib...
Amazon Web Services Japan
?
AWS Black Belt Techシリーズ Amazon Workspaces
AWS Black Belt Techシリーズ  Amazon WorkspacesAWS Black Belt Techシリーズ  Amazon Workspaces
AWS Black Belt Techシリーズ Amazon Workspaces
Amazon Web Services Japan
?
Sidekiq Proを1年ほど使ってみて良かったところ、困ったところ | 新宿.rb 29th #shinjukurb
Sidekiq Proを1年ほど使ってみて良かったところ、困ったところ | 新宿.rb 29th #shinjukurbSidekiq Proを1年ほど使ってみて良かったところ、困ったところ | 新宿.rb 29th #shinjukurb
Sidekiq Proを1年ほど使ってみて良かったところ、困ったところ | 新宿.rb 29th #shinjukurb
Koichiro Sumi
?
MySQL 5.7にやられないためにおぼえておいてほしいこと
MySQL 5.7にやられないためにおぼえておいてほしいことMySQL 5.7にやられないためにおぼえておいてほしいこと
MySQL 5.7にやられないためにおぼえておいてほしいこと
yoku0825
?
N04_デジタルバンクを目指す北國銀行の挑戦とその歩み [Microsoft Japan Digital Days]
N04_デジタルバンクを目指す北國銀行の挑戦とその歩み [Microsoft Japan Digital Days]N04_デジタルバンクを目指す北國銀行の挑戦とその歩み [Microsoft Japan Digital Days]
N04_デジタルバンクを目指す北國銀行の挑戦とその歩み [Microsoft Japan Digital Days]
日本マイクロソフト株式会社
?
AWS Black Belt Online Seminar 2017 Amazon Relational Database Service (Amazon...
AWS Black Belt Online Seminar 2017 Amazon Relational Database Service (Amazon...AWS Black Belt Online Seminar 2017 Amazon Relational Database Service (Amazon...
AWS Black Belt Online Seminar 2017 Amazon Relational Database Service (Amazon...
Amazon Web Services Japan
?
MySQL 8.0で憶えておいてほしいこと
MySQL 8.0で憶えておいてほしいことMySQL 8.0で憶えておいてほしいこと
MySQL 8.0で憶えておいてほしいこと
yoku0825
?
え、まって。その並列分散処理、Kafkaのしくみでもできるの? Apache Kafkaの機能を利用した大規模ストリームデータの並列分散処理
え、まって。その並列分散処理、Kafkaのしくみでもできるの? Apache Kafkaの機能を利用した大規模ストリームデータの並列分散処理え、まって。その並列分散処理、Kafkaのしくみでもできるの? Apache Kafkaの機能を利用した大規模ストリームデータの並列分散処理
え、まって。その並列分散処理、Kafkaのしくみでもできるの? Apache Kafkaの機能を利用した大規模ストリームデータの並列分散処理
NTT DATA Technology & Innovation
?
JPC2018[F4]超入門! やさしい Microsoft Dynamics 365 の世界 (tech編)
JPC2018[F4]超入門! やさしい Microsoft  Dynamics 365 の世界 (tech編)JPC2018[F4]超入門! やさしい Microsoft  Dynamics 365 の世界 (tech編)
JPC2018[F4]超入門! やさしい Microsoft Dynamics 365 の世界 (tech編)
MPN Japan
?
OutSystems ユーザー会 セッション資料
OutSystems ユーザー会 セッション資料OutSystems ユーザー会 セッション資料
OutSystems ユーザー会 セッション資料
Tsuyoshi Kawarasaki
?
20210127 今日から始めるイベントドリブンアーキテクチャ AWS Expert Online #13
20210127 今日から始めるイベントドリブンアーキテクチャ AWS Expert Online #1320210127 今日から始めるイベントドリブンアーキテクチャ AWS Expert Online #13
20210127 今日から始めるイベントドリブンアーキテクチャ AWS Expert Online #13
Amazon Web Services Japan
?
Snowflake Architecture and Performance
Snowflake Architecture and PerformanceSnowflake Architecture and Performance
Snowflake Architecture and Performance
Mineaki Motohashi
?
Amazon Inspector v2で脆弱性管理を始めてみた
Amazon Inspector v2で脆弱性管理を始めてみたAmazon Inspector v2で脆弱性管理を始めてみた
Amazon Inspector v2で脆弱性管理を始めてみた
cluclu_land
?

Recently uploaded (6)

第57回計測自動制御学会北海道支部講演会 特別講演 システムインテグレーションとロボットミドルウェア
第57回計測自動制御学会北海道支部講演会 特別講演 システムインテグレーションとロボットミドルウェア第57回計測自動制御学会北海道支部講演会 特別講演 システムインテグレーションとロボットミドルウェア
第57回計測自動制御学会北海道支部講演会 特別講演 システムインテグレーションとロボットミドルウェア
OpenRTM1
?
タワーマンション効果 ?高所からの眺望が、人の心理状態に及ぼす影響を探るRCTs
タワーマンション効果 ?高所からの眺望が、人の心理状態に及ぼす影響を探るRCTsタワーマンション効果 ?高所からの眺望が、人の心理状態に及ぼす影響を探るRCTs
タワーマンション効果 ?高所からの眺望が、人の心理状態に及ぼす影響を探るRCTs
KeisukeHattori1
?
TAUHANNGNOLIMETANGEREKAYAYANBOISGL!!!.pptx
TAUHANNGNOLIMETANGEREKAYAYANBOISGL!!!.pptxTAUHANNGNOLIMETANGEREKAYAYANBOISGL!!!.pptx
TAUHANNGNOLIMETANGEREKAYAYANBOISGL!!!.pptx
SheanOrvinBalao
?
それ、マルハラかも。 ~メッセージ上の句点による暗黙的ハラスメント の実在性についてのサーベイ実験
それ、マルハラかも。 ~メッセージ上の句点による暗黙的ハラスメント の実在性についてのサーベイ実験それ、マルハラかも。 ~メッセージ上の句点による暗黙的ハラスメント の実在性についてのサーベイ実験
それ、マルハラかも。 ~メッセージ上の句点による暗黙的ハラスメント の実在性についてのサーベイ実験
KeisukeHattori1
?
ALPHABET FLASHCARD FOR PRESCHOOL TO KINDERGARTEN LEARNERS.docx
ALPHABET FLASHCARD FOR PRESCHOOL TO KINDERGARTEN LEARNERS.docxALPHABET FLASHCARD FOR PRESCHOOL TO KINDERGARTEN LEARNERS.docx
ALPHABET FLASHCARD FOR PRESCHOOL TO KINDERGARTEN LEARNERS.docx
ruthbarnuevo1
?
cardiom??????????????????????yopathy .pdf
cardiom??????????????????????yopathy .pdfcardiom??????????????????????yopathy .pdf
cardiom??????????????????????yopathy .pdf
ssuser16d694
?
第57回計測自動制御学会北海道支部講演会 特別講演 システムインテグレーションとロボットミドルウェア
第57回計測自動制御学会北海道支部講演会 特別講演 システムインテグレーションとロボットミドルウェア第57回計測自動制御学会北海道支部講演会 特別講演 システムインテグレーションとロボットミドルウェア
第57回計測自動制御学会北海道支部講演会 特別講演 システムインテグレーションとロボットミドルウェア
OpenRTM1
?
タワーマンション効果 ?高所からの眺望が、人の心理状態に及ぼす影響を探るRCTs
タワーマンション効果 ?高所からの眺望が、人の心理状態に及ぼす影響を探るRCTsタワーマンション効果 ?高所からの眺望が、人の心理状態に及ぼす影響を探るRCTs
タワーマンション効果 ?高所からの眺望が、人の心理状態に及ぼす影響を探るRCTs
KeisukeHattori1
?
TAUHANNGNOLIMETANGEREKAYAYANBOISGL!!!.pptx
TAUHANNGNOLIMETANGEREKAYAYANBOISGL!!!.pptxTAUHANNGNOLIMETANGEREKAYAYANBOISGL!!!.pptx
TAUHANNGNOLIMETANGEREKAYAYANBOISGL!!!.pptx
SheanOrvinBalao
?
それ、マルハラかも。 ~メッセージ上の句点による暗黙的ハラスメント の実在性についてのサーベイ実験
それ、マルハラかも。 ~メッセージ上の句点による暗黙的ハラスメント の実在性についてのサーベイ実験それ、マルハラかも。 ~メッセージ上の句点による暗黙的ハラスメント の実在性についてのサーベイ実験
それ、マルハラかも。 ~メッセージ上の句点による暗黙的ハラスメント の実在性についてのサーベイ実験
KeisukeHattori1
?
ALPHABET FLASHCARD FOR PRESCHOOL TO KINDERGARTEN LEARNERS.docx
ALPHABET FLASHCARD FOR PRESCHOOL TO KINDERGARTEN LEARNERS.docxALPHABET FLASHCARD FOR PRESCHOOL TO KINDERGARTEN LEARNERS.docx
ALPHABET FLASHCARD FOR PRESCHOOL TO KINDERGARTEN LEARNERS.docx
ruthbarnuevo1
?
cardiom??????????????????????yopathy .pdf
cardiom??????????????????????yopathy .pdfcardiom??????????????????????yopathy .pdf
cardiom??????????????????????yopathy .pdf
ssuser16d694
?

「行けたら行く」の论理构造 ?きっと君は来ない?