所属栏目:逻辑学
两个蕴涵式或充分条件假言命题之间的这样一种关系:当p蕴涵q即p为一充分条件假言命题的前件而q为其后件时,q蕴涵p即为原蕴涵式(p蕴涵q)的逆蕴涵。如在直言命题的对当关系中,SAP蕴涵SIP,故SIP逆蕴涵SAP;SEP蕴涵SOP,故SOP逆蕴涵SEP。此外 ...... (本文共 156 字 ) [阅读本文] >>