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