該命題為允許肯定命題,形式為Pp。
該推理無(wú)效。因?yàn)槿绻疤嶂灰肓丝赡苣B(tài),另一前提無(wú)論是可能模態(tài)、必然模態(tài)還是實(shí)然模態(tài),結(jié)論只能是可能模態(tài)。