だるろぐスマートフォン用の表示で見るだるろぐ明日できることは、今日しない。見る“タブロー”という証明方法を使った入門書。procedure)の一種である。ヤーッコ・ヒンティッカらのモデル集合という考え方を応用して作られ、レイモンド・スマリヤンによって広められた。Wikipedia複雑な論理式をバラバラにして、末端に残った矛盾をツブしていく感じ。いう組み合わせの二つにバラせる(枝分かれ)。枝先があってるかをみればよい......という仕組みのようだ。自分は思ったんだけど。後述)、......(2)......(3)このようにバラせる。論理和で繋がれた式が真ならば、両方真のはず。......(4)......(5)あれ、ちょっとわかんなくなってきた。“タブローの一般的な規則”を頭に叩き込んで、機械的な手続きでバラせるように訓練しなきゃいけないみたい。考えれば至極もっともだった。偽”っていう組み合わせとその逆があるだろ」というわけじゃない。バラすときに分岐が発生する。