Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我试图证明
在此处输入链接描述
我只能使用介词逻辑。我尝试使用 not+/- 规则，但它们要求我同时假设 P 而不是 P。在这一点上我真的迷路了