∀∃∧∨
(1) ∃x ( A(x) ∧ ~B(x) ∧ ~C(x) )
(2) ∀x ( (D(x) ∧ (R(x,a) ∨ R(a,x))) ->R(x,a) )
(3) ∃x∀y ( S(x) ∧ (P(y)->R(x,y)) )
(4) ∀x (C(a) ∧ (P(x)->L(x,a)) )
顶一下
(0)
0%
踩一下
(0)
0%
上一篇：如何做好政府值班室工作
∀∃∧∨
(1) ∃x ( A(x) ∧ ~B(x) ∧ ~C(x) )
(2) ∀x ( (D(x) ∧ (R(x,a) ∨ R(a,x))) ->R(x,a) )
(3) ∃x∀y ( S(x) ∧ (P(y)->R(x,y)) )
(4) ∀x (C(a) ∧ (P(x)->L(x,a)) )