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