日記の練習です。
論理学をやっている様子です。
自然演繹の推論規則に則って証明を進めたら、こういう、前提がない結論だけの論証が証明できた!なんで?前提ないのに!全然わかってない! pic.twitter.com/cjlbVKXQfK
— twwp™ (@taizooo) 2024年5月30日
⇒-導入則は、
— twwp™ (@taizooo) 2024年5月31日
命題Aを仮定をして、その仮定のもとで命題Bが導かれるときに、(Aという仮定なしに) ⇒ を導入して A⇒B を導いて良い、
ということなので、
⊢A⇒B
— twwp™ (@taizooo) 2024年5月31日
を証明すること自体が、仮定Aを用いて
A⊢B
を導くことと同じになる
これってつまり
— twwp™ (@taizooo) 2024年5月31日
⊢A⇒B は A⊢B へ
A⊢B は ⊢A⇒B へ
常に書き換え可能ってことなのでは?
一番最後の、結論の行、依存する前提の列が間違ってた。「依存する前提がない」が正解。 pic.twitter.com/IXp0UamFIq
— twwp™ (@taizooo) 2024年6月4日