线代 数理 命题 基本概念 eg.p和q恰好有一个成立 p^-q 或 -p^q 证明 直接证明 附加前提法 归谬法 等价与永真公式 eg 一共3个变元 需要2^3行 基本逻辑规律 补充："<-&…

  什么是海龟汤 海龟汤是一种逆向推理游戏，出题者给出一个不完整的故事，让猜题者通过提问来验证自己对故事缺失部分的猜测，而出题者只能用 「是」、「不是」或「与此无关」 来回答。游戏可以一直进…

哈啰，欢迎来到我的blog. 我会分享一些有趣的东西。