論理和とは?
ろんりわ
「P または Q」を表す演算で、少なくとも一方が真であれば真となります。記号は ∨ です。
論理和(OR 演算)は「P ∨ Q」と表記され、P と Q の少なくとも一方が真であれば真となる二項論理演算である。集合論における和集合(∪)に対応する。日常語の「または」は排他的な意味を含むことがあるが、論理学の ∨ は両方真でも真となる「包含的論理和」である。
使い方・例文
「学生証か運転免許証があれば入場できる」は論理和の例で、どちらか一方を持っていれば条件を満たす。
この用語をシェア
最終更新: