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
Enlaces externos
- Wikcionario tiene definiciones y otra información sobre aserción.
Esta página se editó por última vez el 1 ago 2019 a las 12:07.