Also known as not implied by, ↚
connecteur logique
via Wikidata · CC0
En logique, la non-implication réciproque est un connecteur logique qui est la négation de la réciproque de l'implication.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).