論理学/述語論理による推論
提供: Internet Web School
(版間での差分)
| 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 時点における最新版
論理学 ＞ 述語論理による推論
目次
説明
- 推論規則
