“并非每个人都是父母”翻译为一阶公式最佳的是:
A、Ø"x(Hx→"y(Hy→Fxy∨Mxy));
B、Ø"x(Hx→$y(Hy∧(Fxy∨Mxy)));
C、Ø"x(Hx→$y(Hy∧(Fxy∧Mxy)));
D、Ø"x(Hx→"y(Hy→Fxy∧Mxy))
发布时间:2025-07-30 03:43:26
A、Ø"x(Hx→"y(Hy→Fxy∨Mxy));
B、Ø"x(Hx→$y(Hy∧(Fxy∨Mxy)));
C、Ø"x(Hx→$y(Hy∧(Fxy∧Mxy)));
D、Ø"x(Hx→"y(Hy→Fxy∧Mxy))