>>64
ーーー

更に修正・・・

(『A』に対し『¬(a,¬b)』→『¬¬A』の『"対偶"関係』)
↓
(『A』に対し『¬(a,¬a)』→『¬¬A』の『"対偶"関係』)
(※b=¬a)

ーーー