(2) Thus, if global nihilism is true, then global nihilism is not true. [from (1) by quantifier exchange and universal instantiation of the consequent]
」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」＜第２章　物質の構成粒子＞（教p19-）