符合邏輯