简答题 对下列每一前提集合，列出能得到的恰当结论和应用于这一情况的推理规则。（a）所有三角函数都是周期函数，而所有周期函数是连续函数。（b）所有牛都是哺乳动物。有些哺乳动物是反刍动物。（c）所有偶数都被2除尽。整数4是偶数，但3不是。（d）对汽车工业的好事就是对国家的好事，对国家的好事就是对你的好事。你去买一辆高价卡车是对汽车工业的好事。

设集合A={1，2，3}，那么（ρ（A），）是群，其中是对称差运算，求S，T∈ρ（A），使得{1，2}S={1，3}，T{1}={2}. 点击查看答案

一个公式，如果量词都非否定地放在全式的开头，没有括号将它们彼此隔开，而它们的辖域都延伸到整个公式，则称这样的公式为前束范式。应用改名规则、量词否定公式和量词辖域的扩张公式等，可把任一谓词演算公式化成前束范式。例如： 点击查看答案