Op deze pagina kunt u een gedetailleerde analyse krijgen van een woord of zin, geproduceerd met behulp van de beste kunstmatige intelligentietechnologie tot nu toe:
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