書見台に『入門！論理学』をくくりつけて、ノートと「とりかえしがつくシャープペンシル」*1で命題論理を解いていた。 ( A ではない) ではない) かつ B とか、 B ではない、 A ならば B ⇒ A ではない (否定式) とか、 A または B 、 A ならば C 、 B ならば …