Aserción lógica
afirmación que asevera que una premisa es verdadera
(Redirigido desde «Aserción»)
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
editarEnlaces externos
editar- Wikcionario tiene definiciones y otra información sobre aserción.