1. 序贯覆盖
回归: 分类:
聚类:
逻辑规则:
读作:若(文字1且文字2且...),则目标概念成立
规则集:充分性与必要性;冲突消解:顺序规则、缺省规则、元规则
eg:
命题逻辑 → 命题规则
原子命题:𝐴,𝐵,𝐶,…A,B,C,…;逻辑连词:↔,→,←,
回归: 分类:
聚类:
逻辑规则:
读作:若(文字1且文字2且...),则目标概念成立
规则集:充分性与必要性;冲突消解:顺序规则、缺省规则、元规则
eg:
命题逻辑 → 命题规则
原子命题:𝐴,𝐵,𝐶,…A,B,C,…;逻辑连词:↔,→,←,