简单命题造句怎么写

形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列。

谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。

这个推理的前提和结论里都没有连接词，它们不是复合命题而是简单命题。