題目:論理学演習 授業のテーマと目的 本演習では、数学における定理の証明がシミュレートできるような、記号を処理する体系(「形式的体系」)を紹介する。具体的には、最小述語論理の自然演繹の体系の解説から始め、最小論理・直観主義論理・古典論理での…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。