万年历
jiān/jiàn jiē zhèng míng (jiān/jiànjiàn)
“直接证明”的对称。通过断定相关判断之假来断定论题之真的证明方法。有反证法和选言证明两种。
Copyright © Www.521YY.Com All Rights Reserved 歪歪网络 联系QQ:188-222-111