本网站由以下捐款支持：OEIS基金会.
微分逻辑是逻辑的组成部分，其目标是成功地描述变化，例如变化、差异、分布和多样性方面话语的宇宙服从逻辑描述。在形式逻辑中，微分逻辑处理控制微分逻辑演算也就是说，它是一个形式系统，具有描述话语逻辑世界中变化和多样性的表达能力。
微分逻辑演算的一个简单示例由微分命题演算.这增加了普通命题演算正如莱布尼茨和牛顿的微分学增强了笛卡尔的解析几何一样。
上述文章的部分内容根据GNU自由文档许可证、其他适用许可证或版权所有者的许可改编自以下来源。
