命题逻辑6
2.7 给出解释I，使下面两个公式在解释I下均为假，从而说明这两个公式都不是逻辑有效式．
(1) ∀x(F(x) VG(x))→( ∀xF(x) V ∀xG(x))．
(2) (∃xF(x) ∧ ∃xG(x))→∃x(F(x)∧G（x））．
2.8 试寻找一个闭式A，使A在某些解释下为真，而在另外一些解释下A为假．
2.9 试给出一个非封闭的公式A，使得存在解释I，在I下，A的真值不确定，即A仍不是命题，
相关阅读
评论:
↓ 广告开始-头部带绿为生活 ↓
↑ 广告结束-尾部支持多点击 ↑