>>660 について説明するが

Aが天使か悪魔かで場合分けするんじゃなく、Pが真か偽かを考えるんだよ
１行目で、Pは真だと確定させたんだよ
いいか？１行目で言ってるとこは、「Aが天使のときにPは真だ」じゃない。「Pが真だ」ということを直接導いてるんだ。
「Pが真だ」ということが分かれば、Aは天使だといえるだろ？