De Wikipedia, la enciclopedia libre
![](//upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Commons-emblem-question_book_orange.svg/40px-Commons-emblem-question_book_orange.svg.png) |
Este artículo o sección necesita referencias que aparezcan en una publicación acreditada.
Busca fuentes: «Aserción lógica» – noticias · libros · académico · imágenes Este aviso fue puesto el 14 de junio de 2014. |
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
![{\displaystyle (\vdash p)\rightarrow (x{\pmod {2}}\equiv 0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/596d29e67652e9a7f5487b1aea648bc06349b419)
es cierta. Podemos escribir esto mismo usando el símbolo de aserción como
![{\displaystyle \vdash \left((\vdash p)\rightarrow (x{\pmod {2}}\equiv 0)\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1efd9b1e38a56aba3d64c0b31e5fec85ecc7eaf)
Véase también