該命題為允許肯定命題,形式為Pp。
該推理無效。因為如果前提之一引入了可能模態(tài),另一前提無論是可能模態(tài)、必然模態(tài)還是實然模態(tài),結(jié)論只能是可能模態(tài)。