「とりかえしがつかないということは、書いたのはシャープペンシルでもえんぴつでもないか、または消しゴムを持っていない、ということだ。

日記の練習です。

これは論理の練習です。そしてこれが、日常から論理(ロンリ)が離陸する*1様子です。

命題(0)：

((シャープペンシルまたはえんぴつ) 、かつ、消しゴム)、ならば、とりかえしがつく。
https://copyanddestroy.hatenablog.com/entry/2024/04/12/092015

対偶 (0')：

((シャープペンシルまたはえんぴつ) 、かつ、消しゴム)、ならば、とりかえしがつく。
↓
対偶
↓
(とりかえしがつく) ではない、ならば、((シャープペンシルまたはえんぴつ) 、かつ、消しゴム) ではない

ド・モルガンの法則(1)：

((シャープペンシルまたはえんぴつ) 、かつ、消しゴム) ではない
↓
ド・モルガンの法則 (連言の否定 ⇔ 否定の選言)
↓
(シャープペンシルまたはえんぴつ) ではない、または、消しゴムではない

ド・モルガンの法則(2)：

(シャープペンシルまたはえんぴつ) ではない
↓
ド・モルガンの法則 (選言の否定 ⇔ 否定の連言)
↓
シャープペンシルではない、かつ、えんぴつではない

(1) と (2) の結果から：

((シャープペンシルまたはえんぴつ) 、かつ、消しゴム) ではない
↓
↓
↓
((シャープペンシルではない、かつ、えんぴつではない)、または、消しゴムではない

対偶(0') を書き換える：

(とりかえしがつく) ではない、ならば、((シャープペンシルまたはえんぴつ) 、かつ、消しゴム) ではない
↓
書き換え
↓
(とりかえしがつく) ではない、ならば、(シャープペンシルではない、かつ、えんぴつではない)、または、消しゴムではない
↓
略
↓
とりかえしがつかないということは、書いたのはシャープペンシルでもえんぴつでもないか、または消しゴムを持っていない、ということだ。

野矢茂樹『入門！論理学』 p.127
gyazo.com