このリポジトリは、Mathlogの記事「数学構成論」 の補足資料（証明図等）を管理するためのものです。
以下のMathlogをご覧ください。
- 数学構成論1.一階述語論理(参照用pdf).pdf: 本編第一部で導入する推論規則と, それに基づき対偶やDe Morganの法則などを自然演繹によって厳密に証明した記録.
SophionCodomain/-
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
このリポジトリは、Mathlogの記事「数学構成論」 の補足資料（証明図等）を管理するためのものです。
以下のMathlogをご覧ください。