asserção

Asserção é o ato de afirmar algo como verdadeiro ou o enunciado apresentado como verdadeiro pelo emissor. Em uso comum, refere-se a uma afirmação ou declaração que se pretende verídica. Em termos de comunicação, uma asserção transmite informação declarativa sobre o mundo.

Etimologicamente, o termo deriva do latim assertio, de assertere, que significa afirmar ou sustentar. No português, a palavra encontra uso tanto na linguagem cotidiana quanto em áreas técnicas para designar a proposição que se pretende aceitar como verdadeira.

Em lógica e filosofia, uma asserção é uma proposição apresentada como verdadeira dentro de um sistema de raciocínio. Seu valor de verdade pode ser avaliado conforme as regras lógicas e as evidências disponíveis. Na linguística e nos estudos de atos de fala, a asserção descreve a função informativa de um enunciado declarativo, distinguindo-a de perguntas, ordens ou expressões de dúvida.

Na ciência da computação, o termo aparece em forma de instrução chamada assert (ou asserção), usada para verificar invariantes durante a execução de um programa. Se a condição avaliada é falsa, ocorre uma falha ou exceção, indicando que o estado do sistema não atende aos requisitos esperados.

Propriedades associadas àsserção incluem o traço de ter valor de verdade, ser sujeita a avaliação com base em evidências ou axiomas, e pertencer a um âmbito em que se discute o que pode ser exatamente conhecido ou afirmado como fato.