Este artículo o sección necesita referencias que aparezcan en una publicación acreditada. Busca fuentes: «Aserción lógica» – noticias Â· libros Â· académico Â· imágenes Este aviso fue puesto el 14 de junio de 2014.

En lógica matemática, una aserción lógica es una afirmación que asevera que una premisa es verdadera.

Por ejemplo, si p = x "es par", la implicación

1. ${\displaystyle (\vdash p)\rightarrow (x{\pmod {2}}\equiv 0)}$

es cierta. Podemos escribir esto mismo usando el símbolo de aserción como

${\displaystyle \vdash \left((\vdash p)\rightarrow (x{\pmod {2}}\equiv 0)\right)}$

• Bicondicional
• Negación del antecedente

• Wikcionario tiene definiciones y otra información sobre aserción.