論理学では、含意（⊃）の真理表は前件が偽のときは、全体が真になることを習う。このことは日常的な「ならば」の用法と食い違うことから、実質含意（material implication）のパラドクスと呼ばれる。例えば、 Q⊃(P⊃Q) ￢P⊃(P⊃Q) (P⊃Q)v(Q⊃P) こういった式が…