Ir al contenido

Aserción lógica

De Wikipedia, la enciclopedia libre

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

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

Véase también

[editar]

Enlaces externos

[editar]