某些M不是P. <br>所有M是S. <br>∴某些S不是P.formula_13没有M是P. <br>有些M是S. <br>∴某些S不是P.formula_14
增补的论式.第4格由亚里士多德的学生泰奥弗拉斯托斯补充。所有P是M. <br>
第4格.所有M是S. <br>∴有些S是P.<br>（这种形式需要假定某些P确实存在）formula_15所有P是M. <br>没有M是S. <br>∴没有S是P.form