論理学/背理法
提供: 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 時点における最新版
論理学 ＞ 背理法
目次
説明
- 証明の方法
- 対偶による証明
- 背理法による証明
- 推論規則
