20/04/24 15:21:38 BTmyP9va.net
演習
∀x(x + 0)=x ∀x∀y(x + sy)=s(x + y) ならば ∀x((0 + x)=x)
（規則MIを使用）
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
✓∃x￢((0 + x)=x) （結論の否定）
￢((0 + a)=a)
(0 + 0)=0
(0 + b)=b
￢((0 + sb)=b)
0 + sb=s(0 + b)
0 + sb=sb
×
QED
20/04/24 15:21:38 BTmyP9va.net
演習
∀x(x + 0)=x ∀x∀y(x + sy)=s(x + y) ならば ∀x((0 + x)=x)
（規則MIを使用）
∀x(x + 0)=x
∀x∀y(x + sy)=s(x + y)
✓∃x￢((0 + x)=x) （結論の否定）
￢((0 + a)=a)
(0 + 0)=0
(0 + b)=b
￢((0 + sb)=b)
0 + sb=s(0 + b)
0 + sb=sb
×
QED