論理学/背理法

提供: Internet Web School

(版間での差分)
(ページの作成: 論理学背理法 == 目次 == * 背理法(Wikipedia) * [[wikipedia_ja:命題論理#公理と推論規則|命…)
 
17 行: 17 行:
*<span class="pops"> [[cai_ja:EDULOG00010010|CAIテストのページへ(新しいWindowが開きます)]] </span>
*<span class="pops"> [[cai_ja:EDULOG00010010|CAIテストのページへ(新しいWindowが開きます)]] </span>
 +
 +
 +
 +
[[en:Logic/Proof by contradiction]]
 +
[[ja:論理学/背理法]]

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

論理学背理法

目次

説明

  • 証明の方法
  • 対偶による証明
  • 背理法による証明
  • 推論規則

CAIテスト

個人用ツール
他の言語