Also known as nonimplication, ↛
logical connective
via Wikidata · CC0
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:
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).