“在同一思维过程，两个互相否定的思想必有一个是真的。”这是遵循了逻辑分析中的（）。