目次ページ 前ページ 次ページ |
2. 論理演算 |
2.5 変数を三つ以上使う演算 |
2.5.9 二つの論理式の比較 |
二組の論理式が異なった表現であっても、演算結果が同じになるものがあります。文章表現では、二つ以上の命題の組み合わせは複合命題です。文章違いでも、実は同じ意味になる場合があって、こちらは、論理公式にすることがあります。この代表的なものが、前の2.4.6項 表2.6で紹介したド・モルガンの法則です。記号論理学では、演算子の記号を少なくして、例えば「≡、⇒、∨」を「¬、∧、∨」の３種類を使って書き換えることをします。この紹介は、表2.6の備考欄に示しました。この変換式は、比較的頻繁に利用しますので、実用公式または論理法則にします。これらを次項で説明します。
科学書刊株式会社:電子版 「橋梁＆都市 PROJECT: 2012」 |
前ページ 次ページ |