トルコ

逆説論理学 　 野崎昭弘 　 中公 　 Ｐ１８４〜５

公理または既に証明された論理式から、新しい論理式を論証する。
推論規則
①論理式Ａから論理式Ａ∨Ｂを作る（結論の水増し）
Ｂはまだ証明されていなくてよい任意の論理式。（Ａが正しければ「ＡまたはＢ」も正しい）
②論理式Ａと論理式（〜Ａ）∨Ｂから論理式Ｂを作る（三段論法）
「ＡでないかまたはＢ」は「ＡならばＢ」と同じ。Ａであり「ＡならばＢ］であるなら実はＢも正しい。

ふつうＡ∨〜Ａという形の式はいつでも正しいとされる。そのため矛盾がひとつでも発生すると、どんな論理式でも証明される。

任意の論理式Ｃに対して（〜Ａ）∨〜（〜Ａ）ＶＣはつねに正しい。（水増し）
そこでＡが証明できているなら〜（〜Ａ）ＶＣをまとめてＢとおくと②によって〜（〜Ａ）ＶＣが得られる。
さらに、〜Ａも証明できたらまた②によってＣも得られる。
このように、ひとつの矛盾は、理論全体を無意味にしてしまうのである。