Ondorioak auditoreen aurkikuntzetan oinarritutako inferentzia logikoak dira programari buruz, eta aurkikuntzetatik atera behar dute, haien laburpena adierazi beharrean.
Ondorioak programari buruzko inferentzia logikoak dira, auditoreen aurkikuntzetan oinarrituak.