在命题逻辑中，把命题分解到原子命题为 止，认为原子命题是不能再分解的，仅仅研究 以原子命题为基本单位的复合命题之间的逻辑 关系和推理。这样，有些推理用命题逻辑就难 以确切地表示出来。例如，著名的亚里士多德 三段论苏格拉底推理：

重庆三峡学院：《化学反应工程》教学资源（电子教案）第三章 理想反应器（平推流反应器1）

3.1 Poisson过程 3.2 与Poisson过程相联系的若干分布 3.3 Poisson过程的推广

一、总需求函数的含义 二、总需求曲线的推导 三、总需求曲线的移动

1.命题、命题符号化 2.合式公式、真值表、永真式 3.逻辑等值式、推理定律 4.形式化证明

《智能系统学报》：基于位置和开放链接数据的旅游推荐系统综述

【机器学习】基于时空循环神经网络的下一个兴趣点推荐方法

【机器学习】用户-兴趣点耦合关系的兴趣点推荐方法

【机器学习】基于图游走的并行协同过滤推荐算法

【机器学习】融合协同过滤与用户偏好的旅游组推荐方法