试例示具有下列命题形式和推理形式的命题或推理.
1．所有S都不是P。
2．要么r，要么s。
3．如果p，那么q；非q；所以非p。
4．所有M都是P，S都是M，所以S都是P。