Aserción lógica

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.