名词解释

【参考答案】

基本形式P→Q,其中规则的前件P为前提,具体形式可以是谓词公式、关系表达式和真值函数的任意与、或、非组合,可以......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)