不是矛盾式。假设q为真,根据条件语句的真值表,q→r为真;同时r也为真,所以否(q→r)∧r为假。假设q为假,根据条件语句的真值表,q→r为真;同时r也为真,所以否(q→r)∧r为假。因此,无论q为真还是假,否(q→r)∧r都不会同时为真,不是矛盾式。


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

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