给定解释I如下: (1)个体域为D={-2 3 6}; (2)F(x):x≤3 G(x):x>5 R(x):x≤7. 在解释I下 求下列各式的真值:
真值,个体
已帮助 人
-
x(F(x)∧G(x))
(F(-2)∧G(-2))∧(F(3)∧G(3))∧(F(6)∧G(6))
(T∧F)∧(T∧F)∧(F∧T)
F$
x(R(x)→F(x))∨G(5)
(R(-2)→F(-2))∧(R(3)→F(3))∧(R(6)→F(6))∨G(5)
((T→T)∧(T→T)∧(T→F))∨F
(T∧T∧F)∨F
F
