「論理推論」の変更履歴

ナビゲーションに移動 検索に移動

差分の選択: 比較したい版のラジオボタンを選択し、Enterキーを押すか、下部のボタンを押します。
凡例: (最新)＝最新版との比較、(前)＝直前の版との比較、細＝細部の編集

(最新 | 最古) ( | 以前の50件) (20 | 50 | 100 | 250 | 500 件) を表示
  • 最新前 2007年7月9日 (月) 15:18‎ 122.17.2.240 トーク‎ 521バイト +521‎ 新しいページ: ''''【ろんりすいろん (logical inference)】''' 記号論理を用いた推論のこと. 公理と推論規則, およびそれらから導出される(つまり証明...'
(最新 | 最古) ( | 以前の50件) (20 | 50 | 100 | 250 | 500 件) を表示
「https://orsj-ml.org/orwiki/wiki/index.php?title=論理推論」から取得