3.先验逻辑