比浏览器更快的访问！
前件
前件（antecedent），亦稱前提，是假言命题的前半部分。 例子：.
相继式
在证明论中，相继式是对在规定演绎的演算的时候经常用到的可证明性的形式陈述。.
重定向到这里：
邏輯斷言。
联盟百科是组织像一个百科全书或字典中的概念图和语义网络。它给每一个概念及其关系的简单定义。
这是用作概念图的基础的大型在线心理地图。 它是免费使用，每篇文章或文档可以下载。 它是一个工具，资源或学习，研究，教育，学习或教学参考书，也可以由教师，教育工作者，学生或学生; 对于学术界：学校，小学，中学，高中，初中，大学，工科学历，大专，本科，硕士或博士学位; 对于论文，报告，项目，理念，文档，调查，汇总，或论文。 这里的定义是，说明中，描述，或每显著在其上需要的信息的含义，并且它们的相关概念，作为词汇列表。 可在中文, 英文, 西班牙文, 葡萄牙文, 日文, 法文, 德文, 意大利文, 波兰文, 荷兰文, 俄文, 阿拉伯文, 印地文, 瑞典文, 乌克兰文, 匈牙利文, 加泰罗尼亚文, 捷克文, 希伯来文, 丹麦文, 芬兰文, 印度尼西亚文, 挪威文, 罗马尼亚文, 土耳其文, 越南文, 한국어, 泰语, 希腊语, 保加利亚语, 克罗地亚语, 斯洛伐克语, 立陶宛语, 菲律宾人, 拉脱维亚语, 爱沙尼亚语 和 斯洛文尼亚语。 更多语言很快。
所有的信息是从维基百科提取它的知识共享 署名-相同方式共享 3.0协议下可用。
联盟百科不受维基媒体基金会的认可或附属。
Google Play、Android 和 Google Play 徽标均为 Google Inc. 的商标。
