使用通常的谓词逻辑公式将下列命题符号化:

口才训练 2022-05-19 20:36 编辑:皮利 56阅读

∀∃∧∨
(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)) )