>>136
初心者か?

数学に矛盾があると仮定しそれをPかつnot Pとする

Pが真だから「PまたはA」が真
「PまたはA」とnot PからAが真

同じ論法でnot Aも真