Aserción lógica

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. $(\vdash p)\rightarrow (x{\pmod {2}}\equiv 0)$

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

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

Véase también

• Bicondicional
• Negación del antecedente