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

提供: Internet Web School

(版間での差分)
Admin (トーク | 投稿記録)
(ページの作成: 論理学 ＞ 述語論理による推論 == 目次 == * [[wikipedia_ja:一階述語論理#形式的証明|形式的証明（Wikip…)
次の差分→

2013年10月23日 (水) 08:42時点における版

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

目次

説明

  • 推論規則

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」より作成
個人用ツール