Aserción lógica
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
es cierta. Podemos escribir esto mismo usando el símbolo de aserción como
Véase también
- Bicondicional
- Negación del antecedente
Enlaces externos
- Wikcionario tiene definiciones y otra información sobre aserción.
- Datos: Q843812