关于lawyer的方法的一个问题请教

不理解lawyer的方法中的weaken类题的一条：

“条件型结论：结论带条件（即为充分必要）。weaken的方法显示充分条件成立，必要条件不成立。或举反例，或提供有关信息。”

这个不理解主要是对充分必要理解的不够。

请问OG上都有哪些用这个方法解决的题。能不能说一下题号。我回去好好滴反省反省

谢谢亚

search on top threads. you may find your answer