論理和\(\vee \)は入力された論理式\(A,B\)に対して、それらの少なくとも 1 つの値が\(1\)である場合にのみ\(1\)を値としてとる論理式\(A\vee B\)を出力する論理演算です。
< 前のページ
次のページ >

論理式の論理和

論理式の定義より、論理式\(A,B\)に論理演算子\(\vee \)を作用させることで得られる\(A\vee B\)もまた論理式です。\(\vee \)は論理和(logical sum)と呼ばれる論理演算子であり、論理式\(A\vee B\)を\(A\)と\(B\)の論理和(logical sum of \(A\) and \(B\))や\(A\)または\(B\)(\(A\) or \(B\))などと呼びます。

論理式の定義について復習する
例(論理和)
命題変数\(P,Q\)をそれぞれ、\begin{eqnarray*}
P &:&\text{彼はテレビを見る}
\\
Q &:&\text{彼は勉強する}
\end{eqnarray*}とおくとき、\begin{eqnarray*}
P\vee Q &:&\text{彼はテレビを見るか、または勉強する} \\
\lnot P\vee Q &:&\text{彼はテレビを見ないか、または勉強する} \\
P\vee \lnot Q &:&\text{彼はテレビを見るか、または勉強しない} \\
\lnot P\vee \lnot Q &:&\text{彼はテレビを見ないか、または勉強しない}
\end{eqnarray*}などとなります。

 

論理和の値

論理和\(A\vee B\)の値は\(A\)と\(B\)の値に依存しますが、その対応規則を以下の真理値表に定めます。つまり、論理和\(\vee \)は入力された論理式\(A,B\)に対して、それらの少なくとも 1 つの値が\(1\)である場合にのみ\(1\)を値としてとる論理式\(A\vee B\)を出力する論理演算です。

$$\begin{array}{ccc}
\hline
A & B & A\vee B \\ \hline
1 & 1 & 1 \\ \hline
1 & 0 & 1 \\ \hline
0 & 1 & 1 \\ \hline
0 & 0 & 0 \\ \hline
\end{array}$$

表:論理和の値

日常生活において「\(A\)または\(B\)」という場合、\(A\)か\(B\)のどちらか一方だけが真というニュアンスで解釈されることがありますが、命題論理において「\(A\)または\(B\)」という場合、それは\(A\)と\(B\)の少なくとも一方が真であるという意味になります。つまり、\(A\)か\(B\)のどちらか一方だけが真である場合に加え、\(A\)と\(B\)がともに真である場合にも、「\(A\)または\(B\)」という主張は真になります。

論理式の定義より、命題変数\(P\)や命題定数\(T,F\)もまた論理式であるため、これらもまた\(\vee \)を作用させる対象となり得ます。\(P,T,F\)とそれらの論理和の真理値の対応規則は以下の真理値表の通りです。

$$\begin{array}{cccccc}
\hline
P & T & F & P\vee T & P\vee F & T\vee F \\ \hline
1 & 1 & 0 & 1 & 1 & 1 \\ \hline
0 & 1 & 0 & 1 & 0 & 1 \\ \hline
\end{array}$$

表:論理和の値
例(論理和の値)
命題変数\(P,Q\)が与えられたとき、その論理和\(P\vee Q\)は論理式であるため、さらにそれと命題変数\(R\)の論理積\(\left( P\vee Q\right) \vee R\)もまた論理式です。それらの真理値について、

$$\begin{array}{ccccc}
\hline
P & Q & R & P\vee Q & \left( P\vee Q\right) \vee R \\ \hline
1 & 1 & 1 & 1 & 1 \\ \hline
1 & 1 & 0 & 1 & 1 \\ \hline
1 & 0 & 1 & 1 & 1 \\ \hline
1 & 0 & 0 & 1 & 1 \\ \hline
0 & 1 & 1 & 1 & 1 \\ \hline
0 & 1 & 0 & 1 & 1 \\ \hline
0 & 0 & 1 & 0 & 1 \\ \hline
0 & 0 & 0 & 0 & 0 \\ \hline
\end{array}$$

表:論理和の値

という関係が成り立ちます。

例(論理和の値)
命題変数\(P,Q\)が与えられたとき、否定\(\lnot \)や論理和\(\vee \)の定義より、\(P\vee Q\)や\(\lnot P\vee Q\)や\(P\vee \lnot Q\)はいずれも論理式であり、それらの真理値について、

$$\begin{array}{ccccccc}
\hline
P & Q & \lnot P & \lnot Q & P\vee Q & \lnot P\vee Q & P\vee \lnot Q \\ \hline
1 & 1 & 0 & 0 & 1 & 1 & 1 \\ \hline
1 & 0 & 0 & 1 & 1 & 0 & 1 \\ \hline
0 & 1 & 1 & 0 & 1 & 1 & 0 \\ \hline
0 & 0 & 1 & 1 & 0 & 1 & 1 \\ \hline
\end{array}$$

表:論理和の値

という関係が成り立ちます。

例(論理和の値)
命題変数\(P,Q,R\)が与えられたとき、否定\(\lnot \)や論理積\(\wedge \)、そして論理和\(\vee \)の定義より、\(\left( \lnot P\wedge Q\right) \vee \lnot R\)は論理式であり、その真理値について、

$$\begin{array}{ccccccc}
\hline
P & Q & R & \lnot P & \lnot R & \lnot P\wedge Q & \left( \lnot P\wedge Q\right) \vee \lnot R \\ \hline
1 & 1 & 1 & 0 & 0 & 0 & 0 \\ \hline
1 & 1 & 0 & 0 & 1 & 0 & 1 \\ \hline
1 & 0 & 1 & 0 & 0 & 0 & 0 \\ \hline
1 & 0 & 0 & 0 & 1 & 0 & 1 \\ \hline
0 & 1 & 1 & 1 & 0 & 1 & 1 \\ \hline
0 & 1 & 0 & 1 & 1 & 1 & 1 \\ \hline
0 & 0 & 1 & 1 & 0 & 0 & 0 \\ \hline
0 & 0 & 0 & 1 & 1 & 0 & 1 \\ \hline
\end{array}$$

表:論理和の値

という関係が成り立ちます。

次回は排他的論理和の解釈について学びます。

次へ進む 質問・コメントを投稿する 演習問題(プレミアム会員限定)
Share on facebook
Share on twitter
Share on email
Share on print
< 前のページ
次のページ >

ワイズをさらに活用するための会員サービス

ユーザー名とメールアドレスを入力して一般会員に無料登録すれば、質問やコメントを投稿できるようになります。さらに、有料(500円/月)のプレミアム会員へアップグレードすることにより、プレミアムコンテンツ(命題の証明や演習問題、解答など)にアクセスできます。
会員サービス

ディスカッションに参加しますか?

質問やコメントを投稿するためにはログインが必要です
ログイン

命題論理
アカウント
ログイン