>>593
p=pだから、任意の値で常に正しいのでpは不定

>>594
問題の条件から正当に導いたと思われる

>>595
結局矛盾が導かれたから背理法となった