用一阶逻辑将该命题符号化
来源:百度知道 编辑:UC知道 时间:2024/05/12 10:05:55
每个大学生不是文科生就是理科生。。
在线急等。。
多谢
在线急等。。
多谢
设F(x):x是大学生;G(x):x是文科生;H(x):x是理科生
符号化为:
由于符号有限:下式中的A代表全称量词,V代表异或,请注意写成正确形式。
A x(F(x)→G(x)V H(x))
设P代表大学生,Q代表文科生,T代表理科生
该命题是:
P —> Q V T
UC知道是一部内容开放、自由的互动网络百科全书
客观、专业、权威的知识性百科全书
来源:百度知道 编辑:UC知道 时间:2024/05/12 10:05:55
设F(x):x是大学生;G(x):x是文科生;H(x):x是理科生
符号化为:
由于符号有限:下式中的A代表全称量词,V代表异或,请注意写成正确形式。
A x(F(x)→G(x)V H(x))
设P代表大学生,Q代表文科生,T代表理科生
该命题是:
P —> Q V T