Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Instalar
¡Más rápido que el navegador!
 

Aserción lógica

Índice Aserción lógica

En lógica matemática, una aserción lógica es una afirmación que asevera que una premisa es verdadera.

4 relaciones: Bicondicional, Lógica matemática, Negación del antecedente, Premisa.

Bicondicional

En algunos contextos en matemáticas y lógica, un bicondicional (equivalencia o doble implicación, en ocasiones abreviado en español como si y solo si) es un operador lógico binario, es decir, una función \leftrightarrow: B \times B \rightarrow B, siendo B cualquier conjunto con |B|.

¡Nuevo!!: Aserción lógica y Bicondicional · Ver más »

Lógica matemática

La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia.

¡Nuevo!!: Aserción lógica y Lógica matemática · Ver más »

Negación del antecedente

En lógica, la negación del antecedente, también llamado error inverso, es una falacia formal.

¡Nuevo!!: Aserción lógica y Negación del antecedente · Ver más »

Premisa

Una premisa es cada una de las proposiciones anteriores a la conclusión del argumento.

¡Nuevo!!: Aserción lógica y Premisa · Ver más »

Redirecciona aquí:

Asercion, Asercion logica, Asercion lógica, Aserción, Aserción logica.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »