といっても掘り下がらない。ddx=0の場合とそれ以外の場合を
分ける考えが真理値表に発展し、ddxという表記は忘れ去られた。

うーん。これじゃあダメだ。