网站首页 百科知识
逻辑学研究的中心问题。确定一推理是否形式有效。传统逻辑中的判定方法，是确定若干规则，一推理形式有效，当且仅当不违反这些规则；数理逻辑中的判定方法，包括真值表方法，归谬赋值法，范式方法，公理化推理方法等。
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。