逻辑学中,没有S是P,怎样表示,如何变换推导方向?没有S是P,也就是S-->非P,非S-->p对吗,那变换推导方向后,是不是 p-->非S,非P-->S

问题描述:

逻辑学中,没有S是P,怎样表示,如何变换推导方向?
没有S是P,也就是S-->非P,非S-->p对吗,那变换推导方向后,是不是 p-->非S,非P-->S