- 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).