述語論理における論理演算の言い換え