A A Teoria da Independência Absoluta concebe o tipo legal como aratio cognoscendida antijuridicidade, sustentando que a adequação formal da conduta ao modelo legal incriminador gera uma presunção relativa de ilicitude, passível de ser afastada pela presença de uma causa de justificação.
B A doutrina que entende o tipo como meramente descritivo, desprovido de qualquer conteúdo valorativo, é aquela que afirma que a tipicidade é aratio essendi,ou seja, a razão de ser e o fundamento da ilicitude, unificando os dois institutos no conceito de injusto (tipo total do injusto).
C A Teoria dos Elementos Negativos do Tipo é incompatível com o conceito de tipo total do injusto, dado que exige a autonomia conceitual entre tipicidade e antijuridicidade para o correto escalonamento analítico do crime.
D Para a Teoria dos Elementos Negativos do Tipo, que se filia àratio essendida antijuridicidade, uma conduta que formalmente se ajusta ao tipo legal de homicídio, mas é praticada em legítima defesa, resulta em um fato atípico.
E A concepção dominante na doutrina brasileira, que adota a tipicidade comoratio essendida antijuridicidade, postula que as causas de justificação, por representarem exceções à regra proibitiva, atuam no plano da culpabilidade para afastar o juízo de reprovação do agente.