选言判断的逻辑形式