形式逻辑 在第三段AAA式属于第三段的第二格,是无效的推理形式,其无效的原因是违反了三段论的规则