|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ブロー ： [ぶろー] 【名詞】 1. blow 2. (n) blow ・ ー ： [ちょうおん] (n) long vowel mark (usually only used in katakana) ・ 方 ： [ほう] 1. (n-adv,n) side 2. direction 3. way ・ 方法 ： [ほうほう] 【名詞】 1. method 2. process 3. manner 4. way 5. means 6. technique ・ 法 ： [ほう] 1. (n,n-suf) Act (law: the X Act)
タブローの方法(英 tableau〔複数形はtableaux、もしくはtableaus。「タブローズ」と発音する。〕 method)とは、真理の木(truth tree)あるいは意味論的タブロー(semantic tableau)または分析タブロー(analytic tableau)と呼ばれるものを用いて、論証の妥当性や、論理式が矛盾しているかやトートロジーであるかを機械的に調べる判定手続き(decision procedure)の一種である。ヤーッコ・ヒンティッカらのモデル集合という考え方を応用して作られ、レイモンド・スマリヤンによって広められた。 ==方法== ==信頼性== タブローの方法は上記に示したような適切な規則を与えた場合、得られる結果は信頼できる。つまり常に正しい。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「タブローの方法」の詳細全文を読む スポンサード リンク
|