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
13Activity
0 of .
Results for:
No results containing your search query
P. 1
Lógica Proposicional. Sintaxis

Lógica Proposicional. Sintaxis

Ratings: (0)|Views: 680 |Likes:
Published by maxijpaesani
Elementos básicos de sintaxis para la construcción de fórmulas en lógica proposicional
Elementos básicos de sintaxis para la construcción de fórmulas en 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 DOC, PDF, TXT or read online from Scribd
See more
See less

08/04/2013

pdf

text

original

 
LÓGICA PROPOSICIONAL.ELEMENTOS DE SINTÁXIS.La lógica proposicional es un lenguaje formal. Como tal se compone de ciertoselementos que caracterizan a cualquier lenguaje de esa especie. Dichos elementos son: a)un conjunto de símbolos y, b) un conjunto de reglas de formación. Los detallamos acontinuación:SÍMBOLOS:A.mbolos lógicos:Conectores:a.Negación:
 b.Conjunción:
.
c.Disyunción:
d.Condicional:
e.Bicondicional:
B.mbolos no lógicos:Letras de enunciado
1
:
p
,
q
,
r
,...,
p
1
,
q
2
,
r
3
,...C.Signos de puntuacn:1.Paréntesis:
)
,
(
.
2
LENGUAJE Y METALENGUAJELas reglas de formación determinan cuando una serie de símbolos de nuestroconjunto es una
 fórmula bien formada
(FBF) o simplemente una
 fórmula
.Para detallar las reglas introduciremos un nuevo tipo de símbolo, que no pertenece anuestro lenguaje formal, y por ello se denominan
 símbolos metalingüísticos
. Nos servirán para enunciar propiedades que cumplen algunas secuencias de símbolos
dentro del lenguaje
. Forman parte de un lenguaje que utilizamos para hablar del lenguaje de la lógica proposicional. Es, en este sentido, un
metalenguaje
; y sus componentes son
 símbolosmetalingüísticos
. Nos interesa fundamentalmente introducir 
variables metalingüísticas
,mediante las cuales hacemos referencia a
cualquier fórmula dentro del lenguaje objeto
(eneste caso el de la lógica proposicional). Utilizaremos letras griegas minúsculas pararepresentarlas; por ejemplo:
α
,
β
,
γ
. Debe quedar claro que las expresiones que con ellasconstruimos no son rmulas del lenguaje objeto, sino esquemas que pueden sereemplazados por ellas.Ilustraremos lo dicho con un ejemplo. Existe una regla que se aplica a losenunciados condicionales que denominamos
afirmación del antecedente
. Dicha reglaespecifica lo siguiente: dado un condicional verdadero de la forma “Si (antecedente)entonces (consecuente)”, donde el antecedente y el consecuente es un enunciadocualquiera, la afirmación independiente del antecedente nos permite deducir el consecuente.Por ejemplo, teniendo en cuenta que “Si se juega un partido en el estadio entonces hayembotellamientos en las calles aledañas”, y además sabemos que “hoy se juega un partido”,
1
Utilizaremos preferentemente “enunciado”, en vez de “proposición” u “oración”.
2
En algunos casos será conveniente usar corchetes “[“, “]” o llaves”{“, “}” para mejorar la legibilidad.
 
 podremos inferir: “hoy tendremos embotellamientos en las calles aledañas al estadio”.Puesto en símbolos tendríamos lo siguiente:
p
: “Se juega un partido en el estadio”;
q
: “Hay embotellamientos en las calles aledañas al estadio”.p
qp ──── qPero podemos pensar ejemplos más complejos: “Si cobro el sueldo y el vehículoestá en buenas condiciones, entonces podría ir al ciné o tomar helado. Dado que cobré y elcoche está en buenas condiciones, iré al cine o tomaré helado”.
p
: “Cobro el sueldo”;
q
: “El vehículo está en buenas condiciones”;
r
: “Voy al cine”;
s
: “tomo helado”.(p.q)
(r 
s)(p.q) ──────── (r 
s)En ambos casos la deducción es correcta, dado que son ejemplos distintos de lamisma regla de afirmación del antecedente (también conocida como
modus ponens
). Siquisiéramos dar un esquema simbólico, en el nivel metalingüístico, para esta regla:Las letras
α
y
β
representan cualquier rmula. Puede verse que los dosrazonamientos anteriores son ejemplificaciones del mismo esquema: basta con reemplazar 
α
por 
 p
y
β
por 
q
para obtener el primer ejemplo; y por 
 p
q
y
∨ 
 s
, respectivamente, paraobtener el segundo. Estas expresiones del metalenguaje se usan, pues, como esquemas que podemos usar para construir expresiones del lenguaje objeto mediante reemplazosadecuados.REGLAS DE FORMACIÓNToda fórmula bien formada (FBF) que podamos construir, dentro de la lógica proposicional, procederá de la aplicación de alguna/s de las siguientes:
Modus Ponens
 
α
β
 
α
────  
β
 
REGLAS DE FORMACIÓN DE FÓRMULAS
.(i)Si
α
es una letra de enunciado, entonces
 
es una FBF(ii)Si
α
es una FBF, entonces
 
α
es una FBF.(iii)Si
α
y
β
son FBFs, entonces
(α.β), (α
β), (α
β)
y
β)
son FBFs.(iv)lo son FBFs las secuencias que satisfacen una o más de lascláusulas anteriores.La regla número (iii) en realidad comprime cuatro reglas en una sola: una para cadaconectiva. Nuestras fórmulas quedan clasificadas, según esto, en dos grandes clases. Lasletras proposicionales son
 fórmulas atómicas
. Son los ladrillos sicos con los que podemos construir expresiones en el lenguaje. Las reglas (ii) y (iii) producen
 fórmulasmoleculares
, que son aquellas formadas con conectivas, además de letras de enunciado. La
conectiva principal 
de una fórmula es la que introduce la última regla que aplicamos alconstruirla.Supongamos que queremos considerar:(p
q).
(q
 p)Se puede establecer su carácter de fórmula bien formada mostrando cómo seconstruye a partir de sus componentes.1)
p
y
q
son letras de enunciado, y de acuerdo con (i) FBFs.2)Dado que
p
y
q
son FBFs,
(p
q)
es una FBF, por la regla (iii).3)Dado que
p
y
q
son FBFs,
(q
p)
es una FBF (iii).4)Dado que
(p
q)
es FBF,
(q
p)
es una FBF (ii).5)Y de (3) y (4), por (iii), obtenemos:
((p
q).
(q
p))
.Podemos notar, inspeccionando atentamente, que la fórmula que obtuvimos no esexactamente igual a la que se presentó más arriba. En la fórmula desarrollada encontramosun par de paréntesis exteriores de los que carece la primera. Ello se debe a que las reglas deformación exigen su presencia. Pero podemos decir que las fórmulas son idénticas si nosatenemos, como se hará de aquí en adelante, a la siguiente:
CONVENCIÓN
: podrá prescindirse en general de los paréntesis más exteriores de unafórmula bien formada (no es necesario escribirlos, aunque se deberá tener presente queestán ahí).La cuestión de los paréntesis no es una sutileza menor. Prescindir de ellos en loslugares adecuados puede hacer, como se verá, que las fórmulas cambien completamente susentido.

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)//-->