>>502
=とはなんですか?
アリティ2の述語記号、ではないのですか?

あと命題論理はどうしたんですか?
いつから述語論理の話になったんですか?