【論理学】 「ならば」について
論理結合子のうちの一つである「→」（条件法、ならば）をご存知だろうか。高校数学を学んだことのある方なら、数学Ⅰの必要条件、十分条件の分野でなんとなく見覚えがあるのではないだろうか。いま、二つの命題をPとQと名付けよう。「→」は「ならば」なので（最後まで読んでいただければ、この時点ですでにおかしいことに気づいてくださると思うが、ひとまずこのまま進めて）P→Qという命題は、日本語に即して理解するなら「PならばQである」という文章だと理解できるだろう。では、ここで、Pを「僕は今、オ
