24/05/01 09:35:03.02 8OeQUrrJ.net
素人が論理って便利と感じるのは、
この論理式がトートロジーかどうか判別できる
というところだろう
上記の問題に対して、タブロー法は「半分」回答を与える
つまり、トートロジーの場合には、その否定命題から矛盾を導くことで、答えを教えてくれる
ただし、そうでない場合、手続きが終了しない場合があるので、そうでないとわからないこともある
24/05/01 09:35:03.02 8OeQUrrJ.net
素人が論理って便利と感じるのは、
この論理式がトートロジーかどうか判別できる
というところだろう
上記の問題に対して、タブロー法は「半分」回答を与える
つまり、トートロジーの場合には、その否定命題から矛盾を導くことで、答えを教えてくれる
ただし、そうでない場合、手続きが終了しない場合があるので、そうでないとわからないこともある