論理式の集まり