procedure)の一種である。ヤーッコ・ヒンティッカらのモデル集合という考え方を応用して作られ、レイモンド・スマリヤンによって広められた。方法[編集]この節の加筆が望まれています。信頼性[編集]タブローの方法は上記に示したような適切な規則を与えた場合、得られる結果は信頼できる。決定可能性[編集]タブローの方法は命題論理や一引数の一階述語論理において決定可能である。有限ステップで必ず判定を行える。多引数の一階述語論理において決定不可能である。有限ステップで判定できない可能性がある。複数形はtableaux、もしくはtableaus。「タブローズ」と発音する。この項目は、数学に関連した書きかけの項目です。(日時は個人設定で未設定ならばUTC)。表示-継承ライセンスの下で利用可能です。追加の条件が適用される場合があります。詳細は利用規約を参照してください。Cookieに関する声明モバイルビュ。