Similar to 対偶論法
背理法
Proof by contradiction
PCP (計算複雑性理論)
Probabilistically checkable proof推論規則
Rule of inference
論理積の導入
Conjunction introduction
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9▲1 trends
12345679
カントールの対角線論法
Cantor's diagonal argument
帰謬法 (修辞学)
Reductio ad absurdum
自然演繹
Natural deduction
タブローの方法
Method of analytic tableaux
反例
Counterexample
無限降下法
Proof by infinite descent
証明
証明 (数学)
Mathematical proof
可換図式
Commutative diagram
大数の法則
Law of large numbers
∎
墓石記号
Tombstone (typography)
数学
Mathematics