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