Logika rozpoznawania