“直角三角形满足勾股定理”是特称命题还是全称命题