多値論理のソースを表示

{{出典の明記|date=2019年12月4日 (水) 09:53 (UTC)}}
'''多値論理'''（たちろんり）とは、[[真理値]]の値を、いわゆる真偽値すなわち真と偽の2個だけでなく、3個あるいはそれ以上の多数の値とした論理体系で、[[非古典論理]]の一種である。

== 様々な「多値」 ==
多値論理の背景のひとつに『真』『偽』以外に『不明』というのもあってよいのではないかという発想がある。そこから直接出てくるものは[[3値論理]]であるが、3個というのはどうにも収まりが悪く、[[四値論理|4つの真理値を持つ体系]]も研究された。更にもっと多くの有限個、あるいは無限個の真理値を持つ体系などもある。無限個の真理値としては、その集合を、自然数全体と見ると自然なもの、実数全体と見ると自然なもの、0から1までの間の実数と見ると自然なもの、といったものがある。

== 概要 ==
真偽値全体の束であるリンデンバウム代数としての研究が行われてきた。
なお、多値論理の一つである[[ウカシェヴィチ]]の論理は、[[部分構造論理]]との関係で、最近よく研究されている。

ウカシェヴィチの論理では、真偽値として、0～1の値をとる。（<math>1/n</math>から<math>(n-1)/n</math>の間をとる<math>(n+1)</math>値論理、有理数、実数の値をとる無限値論理等のバリエーションがある。）

論理演算子→については、φの真偽値をa、ψの真偽値をbとした場合、
<math>(\phi\rightarrow\psi)</math>の真偽値を<math>\max(1-a+b,1)</math>で定義する。

自然数nについて、<math>(\phi\rightarrow[n]\psi)</math>を 

<math>(\phi \rightarrow[1]\psi)\Leftrightarrow(\phi \rightarrow \psi)</math> 

<math>(\phi \rightarrow[i+1]\psi) \Leftrightarrow (\phi \rightarrow (\phi \rightarrow[i]\psi))</math>

によって定義した場合、古典論理や直観主義論理ではどのnでも、真偽値は変わらないが、ウカシェヴィチの論理では真偽値はnに依存し、その値は<math>\max((1-a)n+b,1)</math>となる。

特に、φが0,1以外の真偽値をとる場合、あるmが存在して、nがm以上の場合に<math>(\phi \rightarrow[n]\psi)</math>に真となる性質がある。

== コンピュータとの関連 ==
現在、一般に[[論理回路]]は二進法・二値論理を[[電子回路]]で実装した[[ディジタル回路]]である（といったように良く言われるが、実のところ正確ではない。後述する）。これを、4値や8値にできれば、1本の信号線で、あるいはゲート1段でより多くの情報が扱えることから、高性能化の可能性として多値論理の導入が考えられる。そのため研究レベルでは盛んに研究されてはきたが<ref>例えば日本では、任意団体であるが、学術的な集まりとして多値論理研究会が以前から活動している。</ref>、しかし現状では、バイナリのコンピュータが十分に高性能であるため、そのようなハードウェアを作るよりもバイナリのコンピュータでシミュレーションしたほうが速くて安い、という状況にある。しかし一部実用化されるものも出てきていて、たとえば、最近のMLC（Multi Level Cell）の[[NAND型フラッシュメモリ]]がある。また三進法コンピュータの事例に[[Setun]]がある。

[[ファジィ論理]]は真理値集合を0以上1以下の実数の集合とする多値論理で、（研究レベルであるが）ファジィコンピュータと称する中には、これを直接実装しているものもある。

なお「後述する」としたが、実際のコンピュータなどでは、電気信号としてHとLだけではなく、トライステートなどと呼ばれる「接続を断った状態」がある素子によるハイインピーダンスとよばれるもの（記号としてはZが使われることが多い）などがあり、複数の機器を接続するバスなどで多用されている<ref>そのような方法を使わず、N個の機器全ての間に相互接続を作ったりすると、一般に複雑になり過ぎる。</ref>。さらに設計の際には「どんな値でも良い」（don't care）という値（記号としてはundefなどの意味でUが使われることが多い）など、実際のところ「ある種の多値論理のようなもの」が、実際にはさかんに活用されている。

またコンピュータシステムではしばしば、真理値として「真」と「偽」以外の値を含む系になっていることがある。

== 古典論理、直観主義論理との関連 ==
[[古典論理]]は真理値集合を完備[[ブール代数]]（cBa - complete Boole algebra）とするものであり、古典的には2値であるが、現代的な数理論理・形式論理の観点からは必ずしもその真偽値は2値でなくてもよい。また[[直観主義論理]]は真理値集合を完備ハイティング代数（cHa - complete Heyting algebra）とするもので、ある意味では多値論理の一種である（完備ブール代数は完備ハイティング代数の特別な場合である）。

== 関連項目 ==
* [[矛盾許容論理]]
* [[2値論理]]
* [[3値論理]]
* [[四値論理|4値論理]]
* [[ブール論理]]
* [[ファジィ論理]]
* [[砂山のパラドックス]]

== 脚注 ==
{{脚注ヘルプ}}<references/>

== 外部リンク ==
*[http://www.lcs.info.hiroshima-cu.ac.jp/~s_naga/MVL/ IEEE CS Technical Committee on Multiple-Valued Logic]
*[http://mvl.jpn.org/ 多値論理研究会]

{{デフォルトソート:たちろんり}}
[[Category:多値論理|*]]
[[Category:論理学]]
[[Category:非古典論理]]
[[Category:数学に関する記事]]