简答题

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

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

设代数系统（A，·，*，Δ），其中A={1，2，5，10}，对x，y∈A，有x·y=x与y的最大公约数，x*y=x与y的最小公倍数，Δx=10 x，试给出运算·，*和Δ的运算表。 点击查看答案