翻訳と辞書 |
3値論理[3ちろんり] 3値論理(英語:ternary, three-valued or trivalent logic)とは、通常の真(true)と偽(false)から成る真偽値の他にもうひとつの真理値を持つ論理体系で、多値論理のひとつである。 == 概要 == 古典論理では真理値は真と偽の2値である。しかし哲学や数学の問題における「可能性」や「未定義」を表現するには、それ以外の表現が必要である。例えば「明日は雨が降る」という命題の真理値を考察する場合、それは真か偽かを確認することはできない。この事については古くから知られており、古代ギリシアのアリストテレスは未来の出来事を表すには真でも偽でも無い可能性(未来偶然命題)として第3の値について言及している。そこで、もうひとつ値を追加した論理の体系が3値論理である。 学問として今日の3値論理の研究体系が確立したのは1920年にヤン・ウカシェヴィチ(Jan Łukasiewicz)が発表した論文 "On 3-valued logic" からである。現在3値論理は非古典論理の一分野とみなされ研究されている。
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「3値論理」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|