背理法と対偶って違うの？

背理法と対偶って違うの？ (117ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

57: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [sage] 2024/11/29(金) 14:57:26.62 ID:v+dxUrg+

追加参考

https://ja.wikipedia.org/wiki/%E5%8F%A4%E5%85%B8%E8%AB%96%E7%90%86
古典論理（こてんろんり、英: classical logic）は形式論理の部類で、最も研究され最も広く使われている論理である。標準論理（英: standard logic）とも呼ばれる[1][2]。

特徴
以下に示す性質が特徴である:[3]

1.排中律の採用及び、二重否定の除去;
2.無矛盾律と、矛盾からはいかなることも導ける（en:Principle of explosion）とすること（矛盾許容論理も参照）;
(3〜5 略す)

以上の諸条件からは、古典論理は命題論理と一階論理に必ずしも限られないが、普通はそれらに議論を限定する[4][5]。

意味論
略す

古典論理の例
略す

https://en.wikipedia.org/wiki/Classical_logic
Classical logic (or standard logic)[1][2] or Frege–Russell logic[3] is the intensively studied and most widely used class of deductive logic.[4] Classical logic has had much influence on analytic philosophy.

History
Main article: History of logic
Classical logic is a 19th and 20th-century innovation. The name does not refer to classical antiquity, which used the term logic of Aristotle. Classical logic was the reconciliation of Aristotle's logic, which dominated most of the last 2000 years, with the propositional Stoic logic. The two were sometimes seen as irreconcilable.
以下略す

https://en.wikipedia.org/wiki/History_of_logic
History of logic
略す

http://rio2016.5ch.net/test/read.cgi/math/1730979839/57

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.007s