如果一个有效三段论的大前提为O判断，试问它是第几格三段论?请分别以S、M、P为小项、中项、大项，写出它的推理形式。