2021-01-26から1日間の記事一覧
いま扱っている範囲のモチベーションは、「述語論理における妥当な推論のパターンを追求する」ということです。現在のところ、私たちは「命題論理における妥当な推論は、そのまま述語論理にも当てはまる」という知識しか持ち合わせていません。しかし、5.72…
いま扱っている範囲のモチベーションは、「述語論理における妥当な推論のパターンを追求する」ということです。現在のところ、私たちは「命題論理における妥当な推論は、そのまま述語論理にも当てはまる」という知識しか持ち合わせていません。しかし、5.72…