问答题
判断以下推理是否正确,先得简单命题符号化,再写出前提,结论,推理的形式结构(以蕴含式的形式给出)和判断过程。 若今天是星期一,则明天是星期二;明天是星期二,所以今天是星期一。
A.x*y=max{x,y} B.x*y=min{x,y} C.x*y=gcd(x,y),即x,y的最大公约数 D.x*y=lcm(x,y),即x,y的最小公倍数