とする．このとき は不成立である． (証明の方針) の要素(3の倍数)がすべて(6の倍数)に属するわけではない，ということを示したい．自然演繹ではどの段階で，この「属するわけではない」が言えるのかをたしかめる． 1 (1) 前提 1 (2) 1. ∀-除去 ここで，たと…

とする．このとき が成立する． (証明の方針) 一階述語論理でがに包まれることを示したい．そのために を示す．すなわち すべての自然数に対して をいう．すなわち を示したい． 自然演繹 1 (1) 前提 1 (2) 1. ∀-除去 3 (3) 仮定 1,3 (4) 2,3. →-除去 1 (5) …