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