Lenguaje Formal L' de Predicados

Lenguaje formal L’ de predicados
Definición 1. Los símbolos de nuestro lenguaje formal son únicamente los siguientes:
Letras de predicado (o simplemente predicados): Las letras mayúsculas del alfabeto
con superíndices.
Letras de enunciado: Las letras mayúsculas del alfabeto con o sin subíndices.
Letras de individuo: Las letras minúsculas, que se agruparán del siguiente modo: de
la ‘a’ a la ‘w’ serán constantes individuales (representarán individuos
determinados), y la ‘x’, la ‘y’ y la ‘z’ serán variables; ambas con o sin subíndices.
Constantes lógicas: Los símbolos , , , , ,  y .
Signos de agrupación: ‘)’ y ‘(’.
Definición 2. Una expresión del lenguaje formal es cualquier sucesión finita de símbolos
del mismo. Por ejemplo, ‘P ( c ( A2’ es una expresión.
Definición 3. Una fórmulas atómicas es o una letra de enunciado o bien un predicado

con superíndice n seguido de n letras individuales (n es un número natural cualquiera).
Por ejemplo, ‘A2ax’ y ‘P’ son fórmulas atómicas; pero ni ‘B 3 xa’ ni ‘1x’ lo son.
Definición 4.
a) Las fórmulas atómicas son fórmulas bien formadas (o simplemente fórmulas).
Reglas de
b) Si  y  son fórmulas, también lo son , , , , ,   y

formación
  , si  es una variable.
c) Únicamente son fórmulas las expresiones que satisfagan a) o b).
Definición 5. Llamaremos conectivos lógicos a las constantes lógicas negación ( ),
disyunción (), conjunción (), condicional () y bicondicional ().
Definición 6. Llamaremos cuantificadores a las constantes lógicas cuantificador

existencial () y cuantificador universal ().
1
Definición 7. Definimos los conectivos negación, disyunción, conjunción, condicional
y bicondicional mediante las tablas de verdad:
       

V F V V V V V V
F V V F V F F F
F V V F V F
F F F F V V
Definición 8. El conectivo principal de una fórmula es aquel que en la construcción

de  a partir de las fórmulas atómicas se escribe en último término.
Definición 9. El alcance de un cuantificador es la fórmula que está inmediatamente a

su derecha.
Definición 10. Llamaremos ocurrencia de una variable  en una fórmula  a las diversas
ocasiones en las que aparece  en , y nos referiremos a cada una de ellas según el
orden en que se escriben en : primera ocurrencia de , segunda ocurrencia de , etc.
Definición 11. Una ocurrencia de una variable  en una fórmula está acotada si es la
variable de un cuantificador  o , o si está dentro del alcance de un cuantificador
 o .
Definición 12. Si una ocurrencia de una variable en una fórmula no está acotada, se dice
que está libre.
Definición 13. Un enunciado del lenguaje formal (o simplemente enunciado) es una

fórmula cuyas variables están acotadas en todas sus ocurrencias.
Definición 14. Una interpretación del lenguaje formal es una pareja U, f en la que U
es un conjunto no vacío llamado ‘dominio de la interpretación’, y f una función que
asigna:
a) a cada constante individual, un elemento de U;
b) a cada predicado n-ario, un subconjunto de U n , y
c) a cada letra de enunciado, un valor de verdad.
2
Definición 15. Un enunciado es universalmente válido si es verdadero bajo cualquier
interpretación.
Definición 16. Un enunciado del lenguaje natural es lógicamente verdadero si resulta de

traducir, de acuerdo con alguna interpretación, un enunciado universalmente válido.
Proposición 1
(1) Si  es universalmente válido entonces también lo es (), para cualquier
enunciado  de L’.
(2) Si  es universalmente válido entonces no lo es.
(3) Del hecho de que un enunciado  sea universalmente válido no se sigue que
() lo sea.
Definición 17. Un enunciado de L’ es una contradicción formal si es falso bajo cualquier

interpretación para L’.
Proposición 2. Un enunciado  es universalmente válido si y sólo si  es una

contradicción.
Definición 18. Un enunciado de L’ es contingente si es verdadero bajo alguna

interpretación de L’ y falso bajo otra.
Definición 19. Dos enunciados de L’ son lógicamente equivalentes si cualquier

interpretación para L’ les asigna el mismo valor de verdad. Denotamos dicha
equivalencia con la expresión ‘’.
Proposición 3. Sean  y dos enunciados de L’. Entonces  si y sólo si () es
universalmente válido.
Definición 20. Un argumento en L’ es correcto si no existe ninguna interpretación para L’

bajo la cual todas las premisas sean verdaderas y la conclusión falsa.
3
Definición 21. Un conjunto de enunciados de L’ es consistente si existe alguna
interpretación I para L’ tal que I()  V para todo enunciado  de .
Corolario. Un conjunto  de enunciados de L’ es inconsistente si no existe ninguna

interpretación para L’ bajo la cual todos los enunciados de  sean verdaderos.
Proposición 4. Si  es un conjunto consistente de enunciados y  está contenido en 

entonces  es consistente.
Proposición 5. Un enunciado  de L’ es universalmente válido si y sólo si {} es

inconsistente.
Proposición 6. Un enunciado  de L’ es contingente si y sólo si tanto {} como {}

son consistentes.
Proposición 7. Dos enunciados  y  son lógicamente equivalentes si y sólo si tanto {,

} como {, } son inconsistentes.
Definición 22. Dado un argumento cualquiera definimos su conjunto contraejemplo

como el conjunto que tiene como elementos a las hipótesis del argumento y a la
negación de la conclusión.
Proposición 8. Un argumento es correcto si y sólo si conjunto contraejemplo es

inconsistente.

Lenguaje Formal L' de Predicados

Cargado por

Copyright:

Formatos disponibles

Lenguaje Formal L' de Predicados

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Lenguaje Formal L' de Predicados

Cargado por

Copyright:

Formatos disponibles

Lenguaje formal L’ de predicados

Definición 3. Una fórmulas atómicas es o una letra de enunciado o bien un predicado

b) Si  y  son fórmulas, también lo son , , , , ,   y

Definición 5. Llamaremos conectivos lógicos a las constantes lógicas negación ( ),

disyunción (), conjunción (), condicional () y bicondicional ().

Definición 6. Llamaremos cuantificadores a las constantes lógicas cuantificador

       

Definición 8. El conectivo principal de una fórmula es aquel que en la construcción

Definición 9. El alcance de un cuantificador es la fórmula que está inmediatamente a

Definición 13. Un enunciado del lenguaje formal (o simplemente enunciado) es una

Definición 16. Un enunciado del lenguaje natural es lógicamente verdadero si resulta de

(2) Si  es universalmente válido entonces no lo es.

Definición 17. Un enunciado de L’ es una contradicción formal si es falso bajo cualquier

Proposición 2. Un enunciado  es universalmente válido si y sólo si  es una

Definición 18. Un enunciado de L’ es contingente si es verdadero bajo alguna

Definición 19. Dos enunciados de L’ son lógicamente equivalentes si cualquier

equivalencia con la expresión ‘’.

Definición 20. Un argumento en L’ es correcto si no existe ninguna interpretación para L’

Corolario. Un conjunto  de enunciados de L’ es inconsistente si no existe ninguna

Proposición 4. Si  es un conjunto consistente de enunciados y  está contenido en 

Proposición 5. Un enunciado  de L’ es universalmente válido si y sólo si {} es

Proposición 6. Un enunciado  de L’ es contingente si y sólo si tanto {} como {}

Proposición 7. Dos enunciados  y  son lógicamente equivalentes si y sólo si tanto {,

Definición 22. Dado un argumento cualquiera definimos su conjunto contraejemplo

Proposición 8. Un argumento es correcto si y sólo si conjunto contraejemplo es

También podría gustarte