序 因果関係を表す文、すなわち「AだからB」は日常生活でもよく使われる。この文は直感的に真理関数であるように思われる。なぜならば、AとBの真偽によって「AだからB」の真偽が定まるように思われるからである。たとえばAが真でBが偽のとき、「AだからB」は…