下列式子中，属于三段论第三格的有效式是（）。