É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, las letras que a modo de símbolos representan, en el lenguaje formalizado, a cada uno de los enunciados. Se usan letras minúsculas, normalmente comenzando a partir de p, q, r,.., etc.
Una secuencia de signos, constituida por letras de enunciado, p, q, r,.., etc., que pueden ser consideradas como variables, junto con las conectivas, que pueden considerarse como constantes lógicas, y la ayuda de símbolos auxiliares, como (...) [...], escrita según las reglas de la sintaxis lógica para la formación de fórmulas, constituye una expresión del lenguaje lógico. Se atribuye significado a este lenguaje mediante la interpretación de los símbolos: las constantes lógicas se definen como conectivas veritativo-funcionales y las letras de enunciado reciben, como variables, un dominio de aplicación, esto es, el conjunto de enunciados en lenguaje ordinario.