Aserción lógica

La aserción lógica es una afirmación que asevera que una cierta premisa es verdadera.

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

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

Este artículo es un miniesbozo sobre lógica matemática en el que falta información esencial. Ampliándolo ayudarás a mejorar Wikipedia. Puedes ayudarte con las wikipedias en otras lenguas.