问答题
判断以下推理是否正确,先得简单命题符号化,再写出前提,结论,推理的形式结构(以蕴含式的形式给出)和判断过程。 今天是星期一当且仅当明天是星期三;今天不是星期一,所以明天不是星期三。
问答题 设S={2˙a1,2˙a2,...2˙ak}是多重集,如果在S的全排列中相同的两个ai(i=1,2,...,k)不相邻,问这样的全排列有多少个?
填空题 代数系统〈1,+〉(其中I是整数集合,+是普通加法),I对+的幺元为(),零元为(),对任一x∈I,其x-1=()
问答题 判断以下推理是否正确,先得简单命题符号化,再写出前提,结论,推理的形式结构(以蕴含式的形式给出)和判断过程。 若今天是星期一,则明天是星期二或星期三。