假设p为真,则根据p→Q,Q为真。又由于RAS,所以R为真且AS为真。

假设-Q为真,则根据-Q→PAS,PAS为真。由于AS为真,所以P为真。

综上所述,无论p为真还是-Q为真,都可以推出PAS为真。因此,根据演绎法,可以得出结论:p→Q, RAS,-Q→PAS可以推出PAS为真。

p→Q RAS-Q→PAS用演绎法证明

原文地址: https://www.cveoy.top/t/topic/baAw 著作权归作者所有。请勿转载和采集!

免费AI点我,无需注册和登录