SSS（边边边）三条对应边相等,两三角形全等
SAS（边角边）两条对应边和其中的一个夹角相等,两三角形全等
ASA（角边角）两个角和两角的一条公共边相等,两三角形全等
SSA（边边角）无法证明全等
所以SSS SAS ASA是命题
SSA是命题