ならば、の話なのに「述語論理」と言ってる時点で程度が知れるんですよw