Axioma da informática que procura ressaltar a natureza lógica mas não pensante dos computadores e seus processos, em consequência da qual, se dados incorretos forem submetidos a processamento, o resultado serão dados igualmente incorretos.