批判性思维、形式逻辑和问题求解。
5 互动学习
通过学习识别论证、辩论和日常推理中的常见逻辑谬误，来提升你的批判性思维能力。
学习数字逻辑基础：布尔值、AND/OR/NOT 运算符、真值表、德摩根定律、化简和数字电路基础。
掌握直接证明、反证法、数学归纳法、逆否命题、存在性证明和鸽巢原理。
通过交互式真值表、维恩图和流程图掌握逻辑连接词、真值表、德摩根定律、重言式和论证有效性。
从命题逻辑进阶到谓词逻辑——探索谓词、量词（∀、∃）、变量绑定、嵌套量词、逻辑证明和反证法。