>>331
古典論理の間違えですよね？
述語論理とは、ある、や、全て、を表現する論理全般を指す用語です
ならば、は述語論理ではなく命題論理の範疇です
直感主義論理では、A→Bと¬A∨Bは同じではありません

って、もしかして、ならば、は必ず変数含まれてないとダメとか思ってたりしますか？
つまり、変数の概念のない命題論理では扱えないものだと思ってますか？

いよいよ、あなたのレベルの低さがどの程度なのかわからなくなってきましたね
知ったかぶりもそれくらいにしときましょうよ
今ならごめんなさいで許してあげますよ