可以通过（）A演绎逻辑加以证明B归纳逻辑加以证明C实验逻辑加以证明D数理逻辑加以证明