命題

『全てのカラスは黒い』ことを証明せよ。

　対偶命題は『全ての黒くないものはカラスではない』。

　黒くないものがカラスでないことを全て確かめれば、証明できる。（ヘンペルのカラス）

「えーと」

「なに？」

「僕は白いカラスだけど」

「うそつけ。鳴いてみ？」

「……。でも、それはカラスであることを証明する必須条件じゃないよね？」

「もしあんたが本当にカラスなら、そんな屁理屈はこねないでしょ」

「仮定を積み重ねるのは論理的でない」

「あほ。カラスが論理の世界に生きてるわけないだろ！」

「白いカラスは孤独なんだ。ろんりー」

　かあ……。

【おしまい】

ハートをクリックで、簡単に応援の気持ちを伝えられます。（ログインが必要です）

新規登録で充実の読書を

マイページ: 読書の状況から作品を自動で分類して簡単に管理できる; 小説の未読話数がひと目でわかり前回の続きから読める; フォローしたユーザーの活動を追える
通知: 小説の更新や作者の新作の情報を受け取れる
閲覧履歴: 以前読んだ小説が一覧で見つけやすい