前発言の一部訂正です。
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
そして、この信念（引用者注「人間は究極において平等である」）は、「人間は究極において不平等である」という命題が成り立たないことで立証されるだろう。この否定命題は、「人間は究極でないところで不平等である」と「人間は究極において平等である」の２つであるのだから。（う？これで合っている？ もうひとつ「人間でないものは究極において不平等である」も論理的にはありか！）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
しかし、ｐ・ｑ⇒ｒが成り立たない（偽である）とき、真であるのは、ｐ・ｑ⇒～ｒであって、ｐ・～ｑ⇒ｒや、～ｐ・ｑ⇒ｒではなかった。
ｐ：人間である
ｑ：究極である
ｒ：不平等である
ただ残る疑問は、「人間は究極において不平等である」という命題が成り立たない、という意味が「証明できない」ということだとしたら、それを「偽である」ことと等値していいのか、ということなのだが・・・
ではあるが、ｐ・ｑ⇒ｒ（人間は究極において不平等である）という命題が成り立たない（偽である）とき、ｐ・ｑ⇒～ｒ（人間は究極において平等である）は真である。