title: Aserción lógica
text: # 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
     * $(\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)$