“一切s都是p”是逻辑学中的“全称命题”，意思是所有的S都是P，即S中的所有对象都在P中，无一例外。它的逻辑公式是“SAP”。比如，“所有的金属都是可以分割的”，其中“金属”是S，“可以分割”是P。注意，“所有S都是P”，并不意味着“所有的P都是S”，也就是说，在“所有S都是P”中，P的范围要不小于S，就是说可以大于或等于S。
