>>592
Aが悪魔だと
「わたしが天使であるならば、Bも天使です」
は常に真だから、Aは天使である。
したがって、この命題は真であり、Bも天使である。

>>655は言ってることが滅茶苦茶