用谓词公式将下列语句形式化 不是所有的男人都至少比一个女人高，但至少有一个男人比所有的女人高.
[tex=2.214x1.357]YKE1h9i3lR8RdDo2dbBrHQ==[/tex]表示“x是男人" ;[tex=2.0x1.357]0HAbWAzBKLqCC5TQ0HSuJQ==[/tex]表示 “x是女人" ; [tex=3.0x1.357]GbVSsawc769i8KuarTo/2Q==[/tex] 表示“ x比 y 高”. 原句可表示为[tex=26.5x1.357]4xtVNwk4WMVHqT2k0F4++nQRG7Eg+9eBpY6Pvg4+mIgOyiBpOS+AAepGzXt62uzIztyJTHR8UVvWA54kY96UIomtFAWvfUJLqlx2m/dlnqA6Kma2boArPP7nXztpta55zmjMTrhApbVmd77GWFn5kYnwHPCJK/IWTgtfWghUJf3j+QxdYCwWXL38a4gm7dJW[/tex]
举一反三
内容
- 0
男人比女人更看重：
- 1
女人比男人更善于：
- 2
男人比女人更容易背叛
- 3
男人比女人更多散布流言
- 4
女人比男人更少露出笑容。