考试
1970-01-01 08:00:00

全称指定规则(US规则): (∀x)A(x)=>A(c)则(

题目描述

全称指定规则(US规则): (∀x)A(x)=>A(c)则()。

答案解析

c是个体域中任一个体。用c取代A(x)中x时,一定在x出现的所有地方进行取代。若个体域中的所有个体都满足谓词A,则个体域中任一个体c也满足谓词A。体现了在逻辑推理中由一般到特殊的推导方法。

加载中...
AI正在思考中,请稍候...