Similar to 対偶論法
論理積の導入
Conjunction introduction推論規則
Rule of inference背理法
Proof by contradiction0
01
1▲1 trends2
23
34
45
56
67
78
89
912345679
命題論理
Propositional calculus恒真式
Tautology (logic)真理値表
Truth table中間論理
Intermediate logic論理演算
Logical connective証明
証明 (数学)
Mathematical proof可換図式
Commutative diagram数学的厳密性
Rigour大数の法則
Law of large numbers▲1 trends∎
墓石記号
Tombstone (typography)カントールの対角線論法
Cantor's diagonal argument帰謬法 (修辞学)
Reductio ad absurdum