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 "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.