仮言命題の妥当性 - 数学屋のメガネ現実の具体的な論理の展開においては、そこで使われる仮言命題は具体的な内容を持ったものになる。内容を捨象されたＡとＢで表されるようなある命題を使って「ＡならばＢ」という形の仮言命題を使って論理を展開することはない。このように抽象的に表現された仮言命題は、一般的には妥当性を評価することが出来ないからだ。ＡやＢの具体的な内容によって、それが正しくなるかどうかが決まってくる。 「独身ならば結婚していない」というような仮言命題を考えてみよう。これは誰が考えても１００％妥当な仮言命題として判断される。それはどうしてだろうか。これはある人物、たとえばＡさんという人がいて、彼が独身だということが確認されているとする。そうするとこの仮言命題とあわせて Ａさんは独身だ。 独身ならば結婚していない 故にＡさんは結婚していない という推論が成り立つ。これは絶対的に正しい。Ａさんが結婚しているかどうかを戸籍を確かめ
