由三个命题构成，其中两个命题为假定真实的前提，另一个命题为结论，该结论可能符合这两个前提，可也能不符合。这三个命题都带有直接陈述的性质。
根据命题中的逻辑量词将命题分为：全称肯定命题、全称否定命题、特称肯定命题、特称否定命题。
如何进行三段论推理：武德沃斯和塞尔斯的气氛假说；气氛探索法。