Adjunción lógica
En razonamiento formal, la adjunción Lógica ( ) entre dos proposiciones, a y b, es un conector lógico cuyo valor de la verdad resulta en verdadero sólo si la condición a es verdadero y la condición b es falsa, y es falso de cualquier otro caso. Existen diferentes contextos dónde se utiliza la implicación opuesta y puede expresarse:
Adjunción lógica | ||
---|---|---|
Diagrama de Venn de la conectiva | ||
Nomenclatura | ||
Lenguaje natural | A y no B | |
Lenguaje formal | ||
Tabla de verdad | ||
Conectivas lógicas |
---|
Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.