Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
En lógica de enunciados, expresión que consta de una sola letra de enunciado. Una letra de enunciado sustituye -y corresponde- a un enunciado simple (ver ejemplo). En lógica de predicados, todo predicado seguido de sus argumentos correspondientes (ver ejemplo).