网站首页 百科知识
研究如何将逻辑应用于各种技术系统和构造的问题，特别是应用于自动化机器的综合分析。这种逻辑主要以逻辑演算特别是布尔代数为基础。在技术逻辑中，命题演算是作为事件的计算来解释的，谓词演算则作为包含事件的函数的计算来解释；其中已发生的事件相当于真命题，未发生的事件相当于假命题。
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。