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的最小公倍数
判断以下推理是否正确,先得简单命题符号化,再写出前提,结论,推理的形式结构(以蕴含式的形式给出)和判断过程。 若今天是星期一,则明天是星期三;今天是星期一所以明天是星期三。