それに命題論理と述語論理で違ってくるということはないですからね