属于三段论第四格的有效式的有（　）。