翻訳と辞書 Words near each other ・ 真珠養殖 ・ 真珠養殖場 ・ 真球 ・ 真理 ・ 真理 (著作) ・ 真理ちゃんとデイト ・ 真理ちゃんシリーズ ・ 真理の友教会 ・ 真理の御国の統治について ・ 真理の整合説 ・ 真理の木 ・ 真理アンヌ ・ 真理ヨシコ ・ 真理値 ・ 真理値表 ・ 真理先生 ・ 真理党 ・ 真理党 (台湾) ・ 真理函数 ・ 真理占星学 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 真理の木 ： ウィキペディア日本語版 タブローの方法[たぶろーのほうほう] タブローの方法(英 tableau〔複数形はtableaux、もしくはtableaus。「タブローズ」と発音する。〕 method)とは、真理の木(truth tree)あるいは意味論的タブロー(semantic tableau)または分析タブロー(analytic tableau)と呼ばれるものを用いて、論証の妥当性や、論理式が矛盾しているかやトートロジーであるかを機械的に調べる判定手続き(decision procedure)の一種である。ヤーッコ・ヒンティッカらのモデル集合という考え方を応用して作られ、レイモンド・スマリヤンによって広められた。 ==方法== ==信頼性== タブローの方法は上記に示したような適切な規則を与えた場合、得られる結果は信頼できる。つまり常に正しい。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「タブローの方法」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Method of analytic tableaux 」があります。 スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.