古典論理において条件関係(conditional relation)、含意関係(implicational relation)、帰結関係(entailment relation)を表す論理結合子(logical connectives)である実質含意(material implication)と我々が普段思考するときや推論するときに使用する条件関係、含意関係や帰結関係を表す「ならば」という言葉の間には大きな隔たりがある。