5
  • Si algo puede ser coleccionado entonces es coleccionable.
  • Si algo puede ser modificado entonces es modificable.
  • Si algo puede ser usado entonces es usable.

¿Y si algo puede ser cierto o falso? ¿No tenemos en español una palabra para esto?

He buscado por internet y encontrado la palabra "verificable" pero esta palabra en realidad no significa "tener la capacidad de ser verdadero o falso" sino más bien "tener la capacidad de poderse verificar".

Si verifico algo es porque ese algo es verificable o, lo que es lo mismo, que se puede verificar, pero no que pueda ser cierto o falso.

La razón por la que estoy buscando esa palabra es para describir lo que es una premisa en mi programa informático. p V q ^ ¬r -> s. Ese tipo de premisas (lógica de premisas, algo que enseñan en las escuelas en Filosofía de Bachillerato).

Para que entendáis un poco mejor el contexto voy a explicar algo un poco básico de programación:
El caso es que si una moneda es coleccionable en mi programa escribiría algo como Moneda implements Coleccionable, lo que significa que una moneda implementa las características propias de las cosas que son coleccionables. Entonces luego puedo escribir en mi programa algo como moneda.obtenerRareza() y así podría saber cómo de rara es la moneda en cuestión. Pero estoy buscando algo que vaya bien con Premisa.

Premisa implements XXX para después hacer algo como premisa.esVerdadera(). Reconozco que esto es una enorme e innecesaria perdida de tiempo, pero buscar la palabra adecuada es un problema que en realidad afecta mucho más a los informáticos de lo que parece. Es que es demasiado ridiculo por ejemplo Premisa implements CapacidadDeSerCiertoOFalso (No se pueden usar espacios, así que es bastante comun usar mayúsculas y minúsculas para distinguir diferentes palabras).

  • 3
    Visto que se trata de informática, ¿no podrías referirte a esto como a un valor booleano? ¿O decir que es "evaluable como booleano"? Creo que entiendo lo que quieres decir, pero la forma de expresarlo puede ser muy diferente según el contexto en que se deba usar. – pablodf76 Jun 3 '17 at 20:03
  • 4
    ¡Bienvenido a Spanish Language! Es una pregunta interesante pero tal vez no puedas encontrar la palabra porque no siempre partes del mismo sitio. Fíjate que coleccionado, modificado y usado son participios, mientras que cierto y falso (o "ser cierto o falso") no lo son, por lo que no se puede seguir el mismo procedimiento. En todo caso, intentaremos dar una respuesta a tu pregunta. – Charlie Jun 3 '17 at 20:15
  • 2
    ¿Como se llama algo que puede ser coleccionado y no coleccionado a la vez? Yo creo que la principal dificultad de tu preguntas es que estás tratando de derivar una palabra a partir de otra que no existe... (no sé si me explico). – Rodrigo Jun 3 '17 at 20:49
  • 3
    Binario. Blanco o negro. – aparente001 Jun 4 '17 at 3:50
  • 1
    Me quedo con "binario", como ha señalado @aparente001. Creo que es la respuesta correcta en este contexto. Pero por aportar algo, otra palabra que puedes explorar es "dicotómico". – Dertalai Jun 5 '17 at 9:09
6

En lógica se toman una serie de premisas y a través de ella se intenta llegar a una conclusión.

p -> p sería el caso más fácil: dada una premisa p, siempre podemos deducir p. Es decir: si hay agua, hay agua; si no hay pan, no hay pan. La cosa se puede complicar tanto como queramos, pero no es lo que queremos discutir aquí.

Hablas de predicado, pero este es una expresión lingüística que puede conectarse con una o varias otras expresiones para formar una oración (de la Wikipedia en Lógica de primer orden). Es con la unión de uno o varios predicados que creamos un argumento lógico:

  • si llueve, el suelo está mojado (p -> q).
  • no está mojado, luego no ha llovido (¬q -> p).

Por tanto, lo que entiendo que quieres formalizar en tu clase es el conjunto de premisas junto con su conclusión, para luego indicar si esa conclusión es deducible o no. También podemos estar buscando si esa construcción lógica es válida o no, luego podemos estar determinando su validez por lo que podrías estar hablando de si es validable (a pesar de que es una palabra que la RAE no recoge).

También puede ser... verificable:

verificable
1. adj. Que se puede verificar.
2. adj. Fil. Dicho de una proposición: Que permite comprobar su verdad y examinar el método por el que se ha alcanzado.

verificar
Del lat. tardío verificāre.
1. tr. Comprobar o examinar la verdad de algo.

  • Gracias pero no es la palabra que busco exactamente. – 4dr14n31t0r Th3 G4m3r Jun 3 '17 at 19:55
  • 1
    @4dr14n31t0rTh3G4m3r ¿comprobable, demostrable, constatable, revisable? – fedorqui Jun 3 '17 at 20:01
  • 2
    @4dr14n31t0rTh3G4m3r ¿certificable? A fin de cuentas "certificar" y "cierto" comparten la misma raíz. – Charlie Jun 3 '17 at 20:26
4

A riesgo de ser tautológico con respecto a la respuesta de fedorqui y a los comentarios, yo creo que podría servirte

falsable

  1. adj. Que se puede falsar (‖ desmentir).
3

Si no te importa que la palabra no aparezca en el DLE, podemos usar binarizable.

En tratamiento de imágenes se dice "binarizar una imagen" cuando todos sus píxeles se convierten a solamente dos valores posibles. Así, si entendemos "binarizar" como "asignar un valor de entre dos posibles a una variable", entonces algo que puede ser binarizado ("asignado el valor cierto o falso") es binarizable.

1

Algo que puede ser cierto es posible.

Pero la pregunta es acerca de algo que puede ser verdadero o puede ser falso. Es decir, se desconoce cual de las dos posibilidades ocurre. Entonces puedes usar incierto.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.