タブローの方法
(意味論的タブロー から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/04/13 23:58 UTC 版)
タブローの方法(英 tableau[1] method)とは、真理の木(truth tree)あるいは意味論的タブロー(semantic tableau)または分析タブロー(analytic tableau)と呼ばれるものを用いて、論証の妥当性や、論理式が矛盾しているかやトートロジーであるかを機械的に調べる判定手続き(decision procedure)の一種である。ヤーッコ・ヒンティッカらのモデル集合という考え方を応用して作られ、レイモンド・スマリヤンによって広められた。
- ^ 複数形はtableaux、もしくはtableaus。「タブローズ」と発音する。
- 1 タブローの方法とは
- 2 タブローの方法の概要
- 3 方法
- タブローの方法のページへのリンク