Aserción lógica
De Wikipedia, la enciclopedia libre
La aserción lógica es una afirmación que asevera que una cierta premisa es verdadera. Es útil para realizar demostraciones.
Por ejemplo, si p = "x is par", la implicación
es cierta. Podemos escribir esto mismo usando el símbolo de aserción como