说说充要条件与循环论证

wzwswswz 发表于 2021-8-28 19:37
因为A真B必真，B真A也必真，所以，要证明A真，B就必须为真；如果不能确认B真，B就不能证明A真。
因此，请 ...

不用B证明A真，自然有证明A真的办法。

wzwswswz 发表于 2021-8-28 19:40
你不是说充要条件都是经过论证的吗？不是说都是经过A推出B，又经过B推出A的吗？
怎么，现在又要打你自己 ...

我没有否定我的观点——A推出B——必须借助其他条件——才能推出。

wzwswswz 发表于 2021-8-28 19:46
三角形三条边相等与三个角相等互为充要条件，不等于世界上任何一个三角形的三个角是否相等都是经过证明为 ...

不知道，那就去测量啊。

石开石 发表于 2021-8-30 09:39
三条边相等——到三个角相等的论证：
作任意一角的角平分线，可证角分线分出的两个三角形全等，从而两底 ...

你的三条边相等——到三个角相等的论证，已知条件是三边相等，未知的是三角相等。这里的论证仅仅只是证明了三边相等是三角相等的充分条件，却没有证明三边相等是三角相等的必要条件。

三个角相等——到三个边等的论证则正好相反，已知条件是三角相等，未知的是三边相等。这里的论证仅仅只是证明了三角相等是三边相等的充分条件，却没有证明三角相等是三边相等的必要条件。

石开石 发表于 2021-8-30 09:42
您那根本不是论证。从条件直接得出结果，那不是论证。

我已经讲过了，这是充要条件的运用，是运用充要条件证明某个三角形的三个角相等。
有前提，又结论，为什么不是论证？

石开石 发表于 2021-8-30 09:43
不用B证明A真，自然有证明A真的办法。

你不是说充要条件的证明是由A推出B，再由B推出A吗？
现在需要证明的是A真，按照你的观点，就必须用B来推出A。但是B要能够推出A，B本身就必须是被证明为真的。

因此，你如果不是用A来推出B，那么就不是你说的充要条件的证明；你如果用A来推出B，那么你就是用只能用B才能推出的A来推出B，这当然就是循环论证了。

所以，你或者无法进行你所说的充要条件的证明，或者只能进行循环论证。你将何去何从？

石开石 发表于 2021-8-30 09:45
不知道，那就去测量啊。

你不是说充要条件的证明是由A推出B，再由B推出A吗？
怎么，你现在不敢进行这种证明了，要借助于测量了？

wzwswswz 发表于 2021-8-30 10:19
我已经讲过了，这是充要条件的运用，是运用充要条件证明某个三角形的三个角相等。
有前提，又结论，为什 ...

论证，需要有过程——您没有啊。

wzwswswz 发表于 2021-8-30 10:26
你不是说充要条件的证明是由A推出B，再由B推出A吗？
现在需要证明的是A真，按照你的观点，就必须用B来推 ...

充要条件的意思是:如果A，那么B。如果B，那么A。
这里不涉及A真与B真的证明问题。
例如：
考虑到：Em=1+Ed
如果Em小于1，则Ed小于0——反之也然——充要条件
如果Em大于1，则Ed大于0——反之也然——充要条件

wzwswswz 发表于 2021-8-30 10:27
你不是说充要条件的证明是由A推出B，再由B推出A吗？
怎么，你现在不敢进行这种证明了，要借助于测量了？

您不知道三角形的三条边或三个角是否相等——您证明什么啊？扯淡啊。