问答题
判断以下推理是否正确,先得简单命题符号化,再写出前提,结论,推理的形式结构(以蕴含式的形式给出)和判断过程。 若今天是星期一,则明天是星期二;明天是星期二,所以今天是星期一。
判断题 在个代数系统中、若一个元素的逆元是唯一的,运算必定是可结合的。
单项选择题 设集合A={1,2,3,…,10},下面定义的哪种运算集合A是不封闭的?()
问答题 设R={〈,∣∣〉,〈{},a〉,〈b,〉},求domR,ranR,R↑∣{}∣,R[{,b}],R。R。