在自然推理系统中,构造下列推理的证明。每个科学工作者都是刻苦钻研的,每个刻苦钻研而又聪明的人在他的事业中都将获得成功。王大海是科学工作者,并且是聪明的。所以,王大海在他的事业中将获得成功。(个体域为人类集合)
用向量法证明:
(1)三角形的正弦定理
(2)三角形面积的海伦(Heron)公式,式中,Δ为三角形的面积,其中a,b,c为三角形三边的长.
A.稀释浓硫酸时将浓硫酸沿烧杯壁慢慢倒入水中并不断用玻璃棒搅拌
B.用排空气法收集氧气时将带火星的木条插入瓶中,若复燃证明已满
C.固体药品都可以直接放在天平的托盘上称量
D.用燃着的酒精灯去点燃另一盏酒精灯