>「Pが真だ」ということが分かれば、Aは天使だといえるだろ？

Aが悪魔のときは Pは常に真なので、
Pが真だということから、Aが天使なのか悪魔なのかは分からない。