有m是p,所有s不是p,所以有s不是p这句话犯了什么逻辑错误

题目

有m是p,所有s不是p,所以有s不是p这句话犯了什么逻辑错误

答案

有m是p,所有s不是p,所以有s不是p
写错了?
有m是p,所有s不是p,所以有s不是m?
如果是这样的话,那么比如
m={-1,1,2,3,4}
p=所有自然数
s={-1}
逻辑错误就是,如果s和m的交集如果刚好是s,而且两个前提都满足,那么就错了