Neste caso, o que se tem que verificar para não existir contradição) é uma situação em que a conclusão decisão) decorre logicamente das premissas argumentativas expostas na decisão, sendo esta última consequência lógica daquelas.