矛盾からはなんでも出てくる

前提１：結婚するとき、わたしは髪を切る。
前提２：わたしは遅かれ早かれ、絶対にいつか結婚する。
前提３：だが、わたしは決して髪を切ることはない。

結論：わたしは誰とでも望めば結婚ができる


ここに述べられていることが現実かどうかはわからない。それをさておいても、論理として、推論としても、これは一見、めちゃくちゃな推論に思える。
だが、これは論理学的に妥当な推論になる。
真理表を書けば見てわかるが、反例がない。つまり、「前提がすべて真でいて結論が偽である」という場合がただのひとつも存在しない。というのも、前提がすべて真になる場合があり得ないから。

当然、むむむ、とひっかかるのだが、そのひっかかりは、何なのか。

当面の、「何を勉強しているの？」ってきかれたときの一般用回答にしよう。