ボフバールの3値論理とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > ボフバールの3値論理の意味・解説 

ボフバールの3値論理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/29 06:30 UTC 版)

3値論理」の記事における「ボフバールの3値論理」の解説

ボフバール(Bochvar)の3値論理は「嘘つきのパラドックス」に代表される意味論的自己言及のパラドックス解決として1939年考案された。 ボフバールは 3番目の真理値として M を提唱した、この M は「無意味」(meaningless) と解釈される。ボフバールの3値論理は命題構成要素に M があった場合、その真理値無条件に M であると定義した具体的に真理値は以下のようになる。 ABA ∧ BABA → B¬AT T T T T F T F F T F T M M M M F T F T T T F F F F T F M M M M M T M M M M M F M M M M M M M M ボフバールはこの 3値論理言明オペレータ T を追加しており、T は以下のようになるATAT T M F F F この 3値論理では「この文は偽である」といった命題真理値を M とした場合嘘つきのパラドックスは起こらなくなる。ただし、以下のような嘘つき文 (strengthened liar sentence) の場合やはりパラドックスが起こる。 この文は偽 (F)無意味 (M) である。

※この「ボフバールの3値論理」の解説は、「3値論理」の解説の一部です。
「ボフバールの3値論理」を含む「3値論理」の記事については、「3値論理」の概要を参照ください。

ウィキペディア小見出し辞書の「ボフバールの3値論理」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「ボフバールの3値論理」の関連用語

ボフバールの3値論理のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ボフバールの3値論理のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの3値論理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS