現在、論理学での「証明」のやり方としてしばしば採用されるものとしては、「タブロー」の他に、ゲンツェンが考案した「自然演繹」と呼ばれる方法がある。そして自然演繹の方法は、かつての「公理的方法」などに比べれば、はるかに習得が容易であるしー公理…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。
