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

提供: Internet Web School

(版間での差分)
(ページの作成: 論理学述語論理による推論 == 目次 == * [[wikipedia_ja:一階述語論理#形式的証明|形式的証明(Wikip…)
 
13 行: 13 行:
*<span class="pops"> [[cai_ja:EDULOG00010013|CAIテストのページへ(新しいWindowが開きます)]] </span>
*<span class="pops"> [[cai_ja:EDULOG00010013|CAIテストのページへ(新しいWindowが開きます)]] </span>
 +
 +
 +
 +
[[en:Logic/Inference by predicate logic]]
 +
[[ja:論理学/述語論理による推論]]

2014年5月23日 (金) 04:59 時点における最新版

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

目次

説明

  • 推論規則

CAIテスト

個人用ツール
他の言語