“一切s都是p”是逻辑学中的“全称肯定命题”,意思是所有的S都是P,即S中的所有对象都在P中.是一种表判断的，它的逻辑公式是“SAP”简单来说，“所有或者一切”和“都是”是固定板式，s，p代表一个对象或者一种集合，可以随意替换，就像：所有香蕉都是水果，所有白马都是马之类符合全同和真包含于关系。
