論理学/背理法

提供: Internet Web School

UNIQ31d665a4b053c00-MathJax-2-QINU2 による版
(差分) ←前の版 | 最新版 (差分) | 次の版→ (差分)

論理学 ＞ 背理法

目次

説明

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

CAIテスト

「http://ja.iwschool.org/wiki/%E8%AB%96%E7%90%86%E5%AD%A6/%E8%83%8C%E7%90%86%E6%B3%95」より作成
個人用ツール
他の言語