文系の人間にとって、シークエント計算は自然演繹に比べると習得するのが少し難しい。たぶん、練習問題をたくさん解くのが遠回りなようで早道なのだが、証明図を書く練習をするのに便利なサイトを知った。 LL Toy 古典命題論理、直観主義命題論理、様相命題…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。