用一阶逻辑将该命题符号化

每个大学生不是文科生就是理科生。。在线急等。。多谢
2025-03-13 18:23:29
推荐回答(2个)
回答1:

设F(x):x是大学生;G(x):x是文科生;H(x):x是理科生
符号化为:

由于符号有限:下式中的A代表全称量词,V代表异或,请注意写成正确形式。

A x(F(x)→G(x)V H(x))

回答2:

设P代表大学生,Q代表文科生,T代表理科生

该命题是:
P —> Q V T