日記の練習です。
これは論理の練習です。そしてこれが、日常から論理(ロンリ)が離陸する*1様子です。
命題(0)：
((シャープペンシル または えんぴつ) 、かつ、消しゴム)、ならば、とりかえしがつく。
https://copyanddestroy.hatenablog.com/entry/2024/04/12/092015
対偶 (0')：
((シャープペンシル または えんぴつ) 、かつ、消しゴム)、ならば、とりかえしがつく。
↓
対偶
↓
(とりかえしがつく) ではない、ならば、((シャープペンシル または えんぴつ) 、かつ、消しゴム) ではない
ド・モルガンの法則(1)：
((シャープペンシル または えんぴつ) 、かつ、消しゴム) ではない
↓
ド・モルガンの法則 (連言の否定 ⇔ 否定の選言)
↓
(シャープペンシル または えんぴつ) ではない、または、消しゴム ではない
ド・モルガンの法則(2)：
(シャープペンシル または えんぴつ) ではない
↓
ド・モルガンの法則 (選言の否定 ⇔ 否定の連言)
↓
シャープペンシル ではない、かつ、えんぴつ ではない
(1) と (2) の結果から：
((シャープペンシル または えんぴつ) 、かつ、消しゴム) ではない
↓
↓
↓
((シャープペンシル ではない、かつ、えんぴつ ではない)、または、消しゴム ではない
対偶(0') を書き換える：
(とりかえしがつく) ではない、ならば、((シャープペンシル または えんぴつ) 、かつ、消しゴム) ではない
↓
書き換え
↓
(とりかえしがつく) ではない、ならば、(シャープペンシル ではない、かつ、えんぴつ ではない)、または、消しゴム ではない
↓
略
↓
とりかえしがつかないということは、書いたのはシャープペンシルでもえんぴつでもないか、または消しゴムを持っていない、ということだ。
野矢茂樹『入門！論理学』 p.127
gyazo.com
*1:今週末の良かったこと(日常から論理が離陸する。僕とサッカーとランニングの離陸にはまだ助走が必要そう) - copy and destroy https://copyanddestroy.hatenablog.com/entry/2024/04/08/155504
