米克邏輯