: 直観主義論理
: ファジィ論理と種々の論理体系
: 真理値集合と完備束
  目次
通常,最も馴染みの深いのが古典論理である.古典論理の真理値の集合としては「完備ブール束」と呼ばれる完備束の特殊なものが仮定される.これは,ある完備束の任意の要素に対して,さらに,
|
|
|
(4.8) |
および,
|
|
|
(4.9) |
を仮定した特別な完備束である.
ここで,排中律と矛盾律は合わせて相補律と呼ばれるが,これは完備束の任意の要素に対して,式(4.9)を満たすようなある要素がその完備束に存在し,それをと定義できることを仮定している.このは元(要素)の補元と呼ばれ,特に,が真理値であるとき,これがの(古典論的)否定を定義していることになる.
「完備ブール束」は,またその代数的性質に着目して「完備ブール代数(complete Boolean algebra)」と呼ばれることもあり,通常,略してcBaと書かれる.
このcBaを基礎とした論理体系は,その構造(公理体系)の強力さ故に,論理演算間の関係が密になる.基本的にとさえあれば,これにより真理値集合上のどんな演算も定義できることが知られている.例えば,古典論理の任意の真理値(即ちcBaの要素)に対して,含意(ならば)と撰言(または)は
|
|
|
(4.10) |
|
|
|
(4.11) |
と連言()と否定()で表現される.ここで,含意「
」は意味的には「ならば」を表すが,式(4.10)はこれが,「であってかつでないことはない」と同値であることを示している.また,
|
(4.12) |
も成立する.
このようなcBaの具体例を三つ,図4.4に示す.ここで,通常の2値論理,即ち真理値集合としてあるいはなどを用いる場合には,この2値に順序関係を導入すれば,自動的にcBaになってしまう.このため,2値論理においては古典論理は必然である.
図 4.4
cBaの例
|
しかし,図4.5の3値論理をはじめ,一般に値論理や無現値論理においては,その真理値集合が,もはやcBaにならないため,古典論理ではない.
図 4.5
cBaではないの例
|
例えば無現値論理,つまり,真理値集合が閉区間の場合を考えてみると,これは完備束であり,最小元,最大元となる.しかし,の一つの要素0.8を持ってくると,かつとなるようなは存在しない.つまり,式(4.9)の相補律が成立しない.したがって区間はcBaではない.
平成12年5月17日