将下列命题符号化,并给出各命题的真值:
(1)若3+=4,则地球是静止不动的.
(2)若3+2=4,则地球是运动不止的.
(3)若地球_上没有树木,则人类不能生存
(4)若地球上没有水,则是无理数.
判断下面推理是否正确.先将简单命题符号化,再写出前捉结论,推理的形式结构(以蘊涵式的形式给出)和判断过程(至少给出两种判断方法)
(1)若今天是星期一,则明天是星期三;今天是星期一,所以明天是星期三
(2)若今天是星期一,则明天是星期二;明天是星期二,所以今天是星期一
(3)若今天是星期一,则明天是星期三;明天不是星期三,所以今天不是星期一
(4)若今天是星期一,则明天是星期二;今天不是星期一,所以明天不是星期二
(5)若今天是星期一,则明天是星期二或星期三
(6)今天是星期一当且仅当明天是星期三;今天不是星期一,所以明天不是星期三
A.所谓“盖天图”是说像伞盖一样的天象图,但古代也有用笠制作的法天之器,所以应该也有以“笠”为名的图
B.虽然从古人车盖和墓室穹顶上所绘制的盖天图可以探知古代盖天图仪的主要形制,但是盖天图仪原物必定更加复杂
C.正因为浑象上绘出的星图是人们目视星空的反象,所以浑象上星辰的位置、距离也有不符合实际天象的
D.历史上曾多次发生浑盖之争,最后浑天说占据了主导地位,但盖以仰视,浑以俯视,应该说两者各具其妙