john7rv

背理法を使い、結論部分を否定の形にして
反証図規則にしたがって並べます

規則によって展開したものは
横にチェックを入れます

縦の並びで上下に矛盾があれば
下に☓を書いて閉じます
全ての分岐の枝が閉じれば
証明できたことになります