Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.

No se ha añadido ninguna twiki todavía.

Adjetivo que deriva del griego ἀλήθεια, alétheia, y que se aplica a los enunciados de la lógica considerados como funciones veritativas o funciones de verdad. Se dice, por ejemplo, que el enunciado compuesto «P y Q» es función de verdad de los enunciados «P» y «Q» que lo componen, según la definición dada de la conjunción «y». «P y Q» es, por tanto, un enunciado alético-funcional, o un enunciado veritativo-funcional o, simplemente, una función de verdad. El adjetivo se aplica también a las modalidades de verdad, o modalidades aléticas.