分类集合与计数怎么算
冲浪林子
分类集合与计数这样算，首先如： P,Q,neg P, neg Q,neg P∧Q,P∧Q,neg P∧P,neg Q∧P∧Q 都是基本积。一个基本积是永假式，当且仅当它含有 P,neg P 形式的两个因子，即(dotswedge Pdotswedgeneg Pdots)Leftrightarrow F
分类集合与计数这样算，首先如： P,Q,neg P, neg Q,neg P∧Q,P∧Q,neg P∧P,neg Q∧P∧Q 都是基本积。一个基本积是永假式，当且仅当它含有 P,neg P 形式的两个因子，即(dotswedge Pdotswedgeneg Pdots)Leftrightarrow F