一个第四格的三段论有效式，如果它的结论是全称否定命题，那么该三段论一定是AEE式