閉じた経路
タブロー法の経路の中で「$ p→なんか→$ \lnot p」のように、リテラル対が出てくるとき、それは矛盾する
なのでその経路を無視して考える
この経路のことを閉じた経路という
$ \botである
逆を開いた経路という
開いた経路が一つでもあればその論理式は充足可能という