日常会話の「PまたはQ」は、通常、PかQかどちらか一方のみという意味ですよね。
でも論理学の「PまたはQ」は、「Pが成り立つ」「Qが成りつ」「PもQも成りたつ」の3つのケースがあります。つまり、「P∧Q」も含みます。
冒頭で、ちょっと違うと書きましたが、日常会話の「PまたはQ」が常にPかQかの「どちらか一方のみ」で使われるわけではありません。
「この記事を読めるのは、スマホまたはPCを持っている人だ」というときには、
- スマホのみを持っている
- PCのみを持っている
- スマホもPCも両方持っている
つまり、日本語の「または」というのは「どちらか一方」という意味だけではないけれど、そういう使いかたをすることがとても多い、ということなんですよね。
論理学では、「どちらか一方のみ」をきっちり表現することができます。「排他的論理和」(排他的または)と言って、「XOR」の記号を使います。この場合、「PもQも成りたつ」場合を除きます。