述語論理の論理式が証明可能か判定する関数
まず，そもそも述語論理では論理式の構成が全く命題論理のそれとは異なる為，大幅に刷新する必要がある