具有。它们的命题形式都是“有的S是P”。
小王在运动场。
推理的种类:类比推理。
该推理无效。因为如果前提之一引入了可能模态,另一前提无论是可能模态、必然模态还是实然模态,结论只能是可能模态。
该命题为允许肯定命题的否定命题,形式为﹁Pp。