部分論理式特性