FANDOM


選言(disjunction)とは、論理学において「または」という結合子の名称である。論理和とも呼ぶ。

記号は\lorである。

非排他的選言 編集

通常、「選言」という名称で呼ばれているものは、非排他的選言と呼ぶものである。これは「PまたはQ」としたときに、Pが真であっても、Qが偽にならないような選言のことである。

例えば、「彼は論理学が好きか、数論が好きである」という文を考え、Pを「論理学が好き」、Qを「数論が好き」と置く。

このとき、Pが真であるときにQが偽である状況を考えにくい。これはどちらの状況も成り立つ。

真理表 編集

PQP\lorQ

排他的選言 編集

しかし、「彼は論理学の本を選んでプレゼントするか、数論の本を選んでプレゼントする」という文について考えよう。

Pを「論理学の本を選んでプレゼントする」、Qを「数論の本を選んでプレゼントする」とする。Pが真であるならば、Qが偽になる状況は十分に考えうる(例えば、本を一冊だけプレゼントする場合である)。

このように、Pが真であるならば、Qが偽になるような選言のことを排他的選言と呼ぶ。これにもまた\veebarという記号がある。

真理表 編集

PQP\veebarQ

広告ブロッカーが検出されました。


広告収入で運営されている無料サイトWikiaでは、このたび広告ブロッカーをご利用の方向けの変更が加わりました。

広告ブロッカーが改変されている場合、Wikiaにアクセスしていただくことができなくなっています。カスタム広告ブロッカーを解除してご利用ください。

FANDOMでも見てみる

おまかせWiki