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 editar
Enlaces externos editar
- Wikcionario tiene definiciones y otra información sobre aserción.