部分論理式集合