题目内容
用三段论的形式写出下列演绎推理:
(1)若两角是对顶角,则此两角相等,所以若两角不相等,则此两角不是对顶角;
(2)0.33是有理数.
分析:原题可用符号表示为(AB=CD)且(BC=AD)ABCD.
用演绎推理来证明论题的方法,也就是从包含在论据中的一般原理推出包含在此题中的个别特殊事实.
为了证明这个命题为真,我们只需在假设前提(AB=CD且BC=AD)为真的情况下,以已知公理、已知定义、已知定理为依据,根据推理规则,导出结论ABCD为真.