万年历
jiān/jiàn jiē zhèng míng (jiān/jiànjiàn)
“直接证明”的对称。通过断定相关判断之假来断定论题之真的证明方法。有反证法和选言证明两种。
Copyright © Www.cxgjdq.com All Rights Reserved 查询工具大全 联系QQ:1845-9666