三段论+逻辑基本规律