論理学/述語論理による推論

提供: Internet Web School

UNIQ3e80e4485ccffcf8-MathJax-2-QINU2 による版
(差分) ←前の版 | 最新版 (差分) | 次の版→ (差分)

論理学 ＞ 述語論理による推論

目次

説明

  • 推論規則

CAIテスト

「http://ja.iwschool.org/wiki/%E8%AB%96%E7%90%86%E5%AD%A6/%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AB%E3%82%88%E3%82%8B%E6%8E%A8%E8%AB%96」より作成
個人用ツール
他の言語