En teoría de computación se habla del Problema de satisfacibilidad booleana. En inglés se llama “satisfiability problem”, y se trata de determinar si una fórmula lógica se puede o no satisfacer. Sin embargo, como la discusión misma en Wikipedia indica, no es claro si se debe escribir satisfacibilidad o satisfacTibilidad con T.
Siendo un término técnico ninguna de las dos versiones aparece en la RAE, y buscando en Google Scholar la opinión al momento parece estar dividida entre satisfacibilidad (208 publicaciones) y satisfactibilidad (173 publicaciones).
¿Existe alguna razón ortográfica o etimológica para preferir alguna de las dos versiones? En un sentido práctico, ¿cuál de las dos es más “correcta” y se debería de usar?
Actualización: Aparentemente hay algunos pares de palabras similares donde la RAE acepta ambas ortografías con el mismo significado, como son el caso de:
- conducible/conductible
- reducible/reductible
- irreducible/irreductible
En general también parecen haber más palabras terminadas en -cible que en -ctible. ¿Podrá esto sugerir que ambas ortografías serían también aceptables?
