网站首页 词典首页
研究如何将逻辑应用于各种技术系统和构造的问题，特别是应用于自动化机器的综合分析。这种逻辑主要以逻辑演算特别是布尔代数为基础。在技术逻辑中，命题演算是作为事件的计算来解释的，谓词演算则作为包含事件的函数的计算来解释；其中已发生的事件相当于真命题，未发生的事件相当于假命题。
technical logic
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。