Scribd
Cargar
52 vistas13 páginas

Beamer LPM

Este documento presenta los conceptos básicos de la lógica de primer orden de predicados monarios. Explica que esta lógica es más expresiva que la lógica proposicional al permitir variables individuales y relatores monarios. Define los términos y fórmulas del lenguaje, y describe la semántica formal mediante la noción de verdad en una estructura y la interpretación de las fórmulas. Finalmente, introduce conceptos clave como satisfacibilidad, validez y consecuencia lógica.

Cargado por

Eduardo
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
52 vistas13 páginas

Beamer LPM

Este documento presenta los conceptos básicos de la lógica de primer orden de predicados monarios. Explica que esta lógica es más expresiva que la lógica proposicional al permitir variables individuales y relatores monarios. Define los términos y fórmulas del lenguaje, y describe la semántica formal mediante la noción de verdad en una estructura y la interpretación de las fórmulas. Finalmente, introduce conceptos clave como satisfacibilidad, validez y consecuencia lógica.

Cargado por

Eduardo
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
Está en la página 1/ 13

Lógica de primer orden de relatores monarios

María Manzano

Septiembre 2014
1 Lógica y diagramas de Venn

2 Lógica de predicados monarios

3 Semántica
Lógica y diagramas de Venn

Hay razonamientos correctos no captados por la lógica


proposicional
no es su…cientemente expresiva
el análisis realizado es demasiado pobre pues sólo intervienen
los conectores
se requiere un lenguaje más expresivo
Opciones:
Lógica de primer orden (LPO): bastante más expresiva
Lógica de predicados monarios (LPM): algo más expresiva
LPM está relacionada con el álgebra de conjuntos que
conoceis
podemos utilizar los diagramas de Venn como procedimiento
de prueba en LPM.
Lógica de primer orden de predicados monarios

El alfabeto de un lenguaje cualquiera L de lógica de primer


orden de predicados monarios contiene dos tipos de signos:
los comunes a todos los lenguajes de primer orden: :,
_, ^, !, $ como conectores, 8 y 9 como cuanti…cadores y las
letras x, y , z, u, v , w , x0 , x1 , x2 ,... como variables individuales.
También, como signos impropios utilizaremos paréntesis: ), (
los que le son peculiares: los relatores monarios. Usaremos R,
S, T , R0 , R1 , R2 ,... como relatores monarios.
Las fórmulas y los términos de L se construyen siguiendo unas
sencillas reglas de formación.
Términos y fórmulas

De…nición de términos. El conjunto de los términos de L (al


que llamamos TERM) es el conjunto de sus variables.
De…nición de fórmula. El conjunto de las fórmulas de L (al
que llamamos FORM) es el menor conjunto que se puede
generar a partir de las reglas siguientes:
Paso Básico: F1 Si x es un término, Rx es una fórmula.
Pasos Inductivos: F2 Si A y B son fórmulas, también lo
son: :A, (A ^ B ), (A _ B ), (A ! B ), (A $ B ).
Pasos Inductivos: F3 Si A es una fórmula, también lo son:
8xA y 9xA.
Llamamos expresiones de L al conjunto formado por los
términos y las fórmulas de L; es decir,

EXPR = TERM [ FORM


Forma lógica

Las fórmulas obtenidas mediante las reglas F2 y F3 reciben las


denominaciones siguientes:

Forma lógica Denominación


:A negación
(A ^ B ) conjunción
(A _ B ) disyunción
(A ! B ) condicional
(A $ B ) bicondicional
8xA generalización
9xA particularización
Formalización

1 Sólo las algas y los batracios crecen en aquel lugar.


2 Todos están alicaídos o bizquean notoriamente.
3 Los asesinos no estaban borrachos.
4 Algunos borrachos toman café.
5 Los alicantinos y los barceloneses son unos cabezotas.

A := 8x (Ax _ Bx ! Cx )
B := 8x (Cx ! Ax _ Bx )
C := :9x (Ax ^ Bx )
D := 9x (Bx ^ Cx )
E := 8x (Ax _ Bx )
Semántica

Concepto fundamental: verdad en una estructura.


A partir de él se de…ne el de consecuencia.
!
A es una estructura adecuada para L( R ) syss
D E
A = A, R A

donde:
A 6= ∅ es el universo o dominio de la estructura. A debe ser
un conjunto no vacío.
Para cada relator R su interpretación R A es un subconjunto
del universo; es decir, R A A.
Interpretación del lenguaje
Asignación

Una asignación es una función F que otorga un elemento del


universo a cada variable; es decir,

F : VAR !A

Asignación variante: Dada una asignación cualquiera F , una


variable x y un individuo del universo de la estructura x,
de…nimos Fxx de la siguiente manera:

Fxx = (F fhx, F (x )ig) [ fhx, xig

Dada una estructura A y una asignación F , de…nimos una


interpretación =
= = hA, F i
Interpretación del lenguaje
T1. Para cada variable individual x la interpretación viene
determinada por la asignación; es decir, =(x ) = F (x )
F1 Para cada fórmula atómica Rx la interpretación es
=(Rx ) = 1 syss =(x ) 2 R A
F2. Los conectores se interpretan clásicamente, como en
lógica proposicional:
Una fórmula negada es verdadera cuando la fórmula es falsa y
falsa cuando es verdadera. =(:C ) = 1 syss =(C ) = 0
Una conjunción es verdadera cuando ambas fórmulas lo son.
=(C ^ D ) = 1 syss =(C ) = 1 y =(D ) = 1
etc
F3. Las fórmulas cuanti…cadas reciben la siguiente
interpretación:
Una generalización es verdadera cuando lo es para cada
elemento del universo. =(8xC ) = 1 syss para cada
a 2 A : =ax (C ) = 1
Una particularización es verdadera cuando lo es para algún
miembro del universo.
Ejemplos

1 La fórmula 8x (Rx _ Sx ) es verdadera en el modelo


A = A, R A , S A donde

A = f1, 2, 3g R A = f1, 2g S A = f2, 3g

En realidad lo será en todo modelo en donde A = R A [ S A .


2 La fórmula 8x (Rx ! :Sx ) es verdadera en el modelo
A = A,R A , S A donde

A = f1, 2, 3g R A = f1, 2g S A = f3g

En realidad lo será en todo modelo en donde R A \ S A = ∅.


3 La fórmula 9x (Rx ^ :Sx ) es verdadera en el modelo
A = A,R A , S A donde

A = f1, 2, 3g R A = f1, 2g S A = f3g

En realidad lo será en todo modelo en donde R A \ S A 6= ∅.


Satisfacibilidad
De…nición. Una fórmula C es satisfacible syss hay una
interpretación = tal que =(C ) = 1. También diremos que =
satisface a la fórmula C o, también, que = es modelo de la
fórmula C . Escribiremos = C para indicar que = es modelo
de C .
De…nición. Un conjunto de fórmulas Γ es satisfacible syss
hay una interpretación = tal que =(G ) = 1 para cada fórmula
G 2 Γ. Decimos que = satisface al conjunto Γ; o también,
que = es modelo de Γ. Escribiremos = Γ para indicar que
= es modelo de Γ.
Comentario. Si el conjunto de fórmulas es …nito,
Γ = fG1 , G2 , ..., Gn g, Γ es satisfacible syss G1 ^ G2 ^ ... ^ Gn
es satisfacible.
Comentario. El concepto intuitivo correspondiente es, como
habréis adivinado, el de coherencia o compatibilidad de
creencias.
De…nimos insatisfacible como no satisfacible
Validez y consecuencia

De…nición. Una fórmula C es consecuencia de un conjunto


de fórmulas Γ — y escribimos Γ C — syss todo modelo de Γ
lo es también de C ; es decir, toda interpretación que hace
verdadera a cada fórmula de Γ, hace verdadera a C .
De…nición. Una fórmula C es válida — y escribimos C —
syss ∅ C ; es decir, toda interpretación hace verdadera a C .
De…nición. Una fórmula C es independiente de un conjunto
de fórmulas Γ — y escribimos Γ 2 C — syss C no es
consecuencia de Γ; es decir, hay modelos de Γ que no lo son
de C .

También podría gustarte