Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
12Activity
0 of .
Results for:
No results containing your search query
P. 1
Lógica Proposicional. Semántica

Lógica Proposicional. Semántica

Ratings: (0)|Views: 877 |Likes:
Published by maxijpaesani
Elementos de la semántica para fórmulas de la lógica proposicional
Elementos de la semántica para fórmulas de la lógica proposicional

More info:

Published by: maxijpaesani on Jun 13, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOCX, PDF, TXT or read online from Scribd
See more
See less

06/16/2013

pdf

text

original

 
LÓGICA PROPOSICIONAL. SEMÁNTICAFUNCIÓN DE INTERPRETACIÓNA cada letra de enunciado que introducimos en el lenguaje le corresponde unenunciado que puede ser verdadero o falso. Esta circunstancia puede representarseutilizando el símbolo
1
para decir que un enunciado verdadero, y el
0
para decir que esfalso. Son sus
valores de verdad 
. La operación de asignarle el valor 
0
o
1
a unadeterminada letra de enunciado se denomina
int 
erpre
ar 
. Técnicamente, unainterpretación puede entenderse como una
función
que asigna valores de verdad a letrasde enunciado del lenguaje. Con el símbolo
I
representaremos a la
 fu
nción
de
int 
erpre
a
ción
. Por ejemplo, ³
I(
 p
)=
1
´ significa que la función de interpretación asignael valor 
1
(verdadero) a la letra de enunciado ³
p
´. Veremos como puede establecerse elvalor de verdad para cualquier expresión que podamos construir en el lenguaje de lalógica proposicional.Toda fórmula dentro del lenguaje tiene letras de enunciado como componentes primitivos. Una vez que se las interpreta (se le asigna un valor de verdad) puedeestablecerse el valor de verdad de cualquier fórmula molecular construida con ellas.Para que pueda hacerse necesitamos, entonces:1)
 
Interpretar cada una de las letras de enunciado.2)
 
Conocer la semántica de las conectivas.Veamos un caso en particular. Consideremos la fórmula:((p
q).(q
r))
(p
r)Si damos la siguiente interpretación de sus letras de enunciado:
I(
 p
)=
1
;
I(
q
)=
0
;
I(
)=
0
. Y reemplazamos los valores en la fórmula obtendremos:((p
q).(q
r))
(p
r)1 0 0 0 1 0SEMÁNTICA DE CONECTIVASAhora necesitamos saber cuáles son los resultados que nos arrojan las fórmulasmoleculares (con las distintas conectivas) para cada valor asignado a las fórmulasatómicas. Para hacerlo debemos tener en cuenta la
 semá
ntic
a de
c
o
n
e
cti
vas
, que seexplicita en los siguientes cuadros:
Co
ndici
o
nes de verdad
p
ara c
o
nectivas veritativ
o-
funci
o
nales:
y
 
Una fórmula
n
egada
es verdadera si, y sólo si, la fórmula sin negar es falsa. Y siésta es verdadera, su negación será falsa.
y
 
Una
c
o
nj
u
nción
es verdadera si, y sólo si, sus dos componentes son verdaderos. Encualquier otro caso será falsa.
y
 
Una disy
u
nción
es falsa si, y sólo si, sus dos componentes son falsos. En cualquier otro caso será verdadera.
y
 
Un
c
o
n
ici
o
n
al 
es falso si, y sólo si, su antecedente es verdadero y su consecuentefalso. En cualquier otro caso será verdadero.
y
 
Un
b
ic
o
n
ici
o
n
al 
es verdadero si, y solo si, sus dos componentes tienen el mismovalor de verdad. En cualquier otro caso será falso.
 
a b C d e f g h
b
b
.
|
I
0
 
0 0 1 1 0 0 1 1
I
1
 
0 1 1 0 0 1 1 0
I
2
 
1 0 0 1 0 1 0 0
I
3
 
1 1 0 0 1 1 1 1Ambos cuadros expresan la misma idea, en el primer caso enunciando una regla;en el segundo consignando los valores en forma tabular. Ahora estamos en condicionesde analizar la fórmula expresada más arriba.((p
q).(q
r))
(p
r)1 0 0 0 1 0La subfórmula ³p
q´ tiene antecedente verdadero y consecuente falso. Elresultado de esta combinación de valores para el condicional es
0
, como puede verse enla tercera fila de la tabla (más exactamente 3ª fila, columna
g
). Para la subfórmula³q
r´, los valores son
0
y
0
, y el resultado es
1
(1ª, g). Y, por último, para ³p
r´ elresultado será el mismo que para ³p
q´, dado que los valores para las letras son losmismos. Siguiendo esquemáticamente lo razonado:1)
 
((p
q).(q
r))
(p
r)2)
 
1 0 0 0 1 03)
 
( 0 . 1 )
04)
 
0
05)
 
1En el paso (3) hemos introducido los valores que calculamos en el párrafoanterior. En el paso (4) calculamos los valores para la conjunción que figura comoantecedente del condicional. En (5), por último, obtenemos el valor para la conectiva demayor alcance; en este caso, un condicional. Hemos mostrado que, para los valores quela función de interpretación dada asigna a cada una de las fórmulas atómicas, la fórmulaen cuestión es verdadera. Podemos representar estas ideas de forma un poco mássistemática.VECTOR DE INTERPRETACIÓNConsiderando a las letras de enunciado en orden alfabético podemos usar 
ve
ct 
ores de
int 
erpre
a
ción
. Por ejemplo, si queremos especificar la interpretación quedimos, para la fórmula analizada, deberíamos proceder así: p q r I(1, 0, 0)En la parte superior del vector mostramos el orden en que deben interpretarse losvalores que figuran dentro. Dado que hemos establecido convencionalmente el ordenalfabético prescindiremos en lo sucesivo de especificaciones de ese tipo. Así, paranuestra fórmula del ejemplo, el vector de interpretación ³I(0, 1, 1)´, diceabreviadamente que interpretemos las fórmulas atómicas como sigue:
I(
 p
)=
0
;
I(
q
)=
1
;
I(
)=
1
. Y cuando utilizamos la notación: ³
I(
x
1
, x
2
,«,x
n
)
=[0, 1]´, establecemos que para
 
los valores
x
n
 
(que puede ser 0 o 1) de las fórmulas atómicas, el valor de la fórmulamolecular es el que se especifica a continuación del signo ³=´. En el ejemplo que hemosdado tenemos que: ³I(1, 0, 0)=1´.Una ventaja de la notación que hemos asumido es la posibilidad de utilizar lanumeración binaria (con ceros y unos) y su aritmética para introducir orden en lasdistintas interpretaciones posibles. Veamos como hacerlo.Para comenzar debemos asignar un valor numérico a cada posición dentro de unvector de interpretación. Como es sabido, en el sistema de numeración binario a cada posición dentro de una expresión numérica le corresponde una potencia de la base 2(dado que el sistema tiene dos caracteres). Nos servimos de este principio de lasiguiente manera:
I(2
n
,«, 2
2
, 2
1
, 2
0
)
(para una cantidad
n
de fórmulas atómicas)Es decir:
I(2
n
,«, 4, 2,
1
)
La primera posición de la derecha vale 1, la que le sigue hacia la izquierda valeel doble, es decir 2, la que le sigue 4, y sucesivamente.
 D
ado
c
u
alq
u
i
er ve
ct 
or de
int 
erpre
a
ción,
podremos as
i
 g 
n
arle
u
n
 
mero e
nt 
ero q
u
e será el res
u
ado de s
u
mar los valores de aq
u
ellas pos
ici
o
n
es e
n
los q
u
e aparez
c
a
u
n
 
1
. Por ejemplo, dadas
n
 fórmulas atómicas, podremos asignarles a algunos de sus vectores de interpretaciónciertos números enteros de acuerdo con la pauta que se detalla en la siguiente tabla:Vector Suma
I(
0
,«,
0
,
0
,
0
)
 0+«+0+0+0 0
I(
0
,«,
0
,
0
,
1
)
 0+«+0+0+1 1
I(
0
,«,
0
,
1
,
0
)
 0+«+0+2+0 2« « «
I(
0
,«,
1
,
1
,
1
)
 0+«+4+2+1 7« « «
I(
1
,«,
1
,
1
,
1
)
 2
n
+2
n-1
+«+4+2+1 ?La tabla que hemos dado depende de los siguientes supuestos: que todos losvalores del vector en la primera fila son ceros, y que los correspondientes de la últimason unos; además, que todos los valores desconocidos (indicados por los puntossuspensivos) son ceros en las filas segunda, tercera y quinta. Más adelante veremoscómo obtener sistemáticamente todos los valores para una determinada cantidad defórmulas atómicas.TABLAS DE VERDADPodemos querer calcular el valor que una fórmula tiene para cada una de sus posibles interpretaciones. Existe un procedimiento mecánico consistente en: a) agotar todos los casos posibles, b) disponerlos en forma tabular y, c) resolver la fórmula. Seconstruye para ello una
a
b
la de verdad 
. Cada una de sus filas es una posiblecombinación de valores de verdad o interpretación.Sabemos por el
 pr 
inci
 p
i
o de
b
i
vale
nci
a
que cada enunciado puede ser verdaderoo falso. Si tenemos, por ejemplo, una fórmula compuesta por dos fórmulas atómicas (
,
) existen sólo las siguientes posibilidades: a) ambas verdaderas, b) verdadera una yfalsa la otra, c) falsa aquella y verdadera ésta, d) ambas falsas. Expresado en formatabular:

Activity (12)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads
asuid liked this
Camila Sanabria liked this
Erick Xavi liked this
izarro liked this
gahcerar liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->