Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
ESQUEMA CENTRAL.
1. INTRODUCCIN.
2. SINTAXIS DE LA LGICA PROPOSICIONAL.
2.1. Elementos del clculo.
2.2. Simbolizacin.
2.3. Formalizacin
2.4. Reglas de formacin.
2.5. Reglas de trasformacin.
2.6. Resolucin de argumentos.
2.7. Demostraciones.
3. SEMNTICA DE LA LGICA PROPOSICIONAL.
DESARROLLO DEL TEMA.
1. INTRODUCCIN.
Para la introduccin de este tema vamos a establecer una diferencia entre las
ciencias formales y las ciencias positivas, que se dividen en ciencias empricas y
ciencias sociales. Las ciencias empricas son aquellas que se apoyan en datos empricos
y abordan el estudio de la naturaleza, entre ellas podemos destacar la fsica, la biologa,
etc., mientras que las ciencias sociales, aunque se apoyan tambin en datos empricos,
estn dirigidas al estudio del ser humano y sus productos culturales, entre ellas podemos
destacar la antropologa, la economa, la sociologa, etc.
Pero volvamos nuestra atencin hacia las ciencias formales, ya que, son las que
abordaremos en este tema, entre estas podemos encontrar la matemtica y la lgica.
Ambas se denominan formales porque abstraen el contenido y se dedican a la forma.
Pongamos el ejemplo de la matemtica: sta estudia los nmeros y sus relaciones, pero
el nmero cuatro no existe en la realidad, sino que es una abstraccin que realiza la
mente humana, lo que existe son los objetos concretos, a saber, cuatro mesas, cuatro
bolgrafos... por ello, decimos que el nmero cuatro es una abstraccin.
La lgica es la ciencia que estudia la inferencia formalmente vlida. Una
inferencia es una argumentacin, un razonamiento, una estructura, de la que, a partir de
ciertos elementos dados o premisas, se extrae una conclusin, pero no cualquier tipo de
conclusin, pues, en lgica solamente tienen cabida las inferencias que siguen las reglas
de formacin y transformacin.
La lgica es un clculo, pero, qu es un clculo? Es un sistema puramente formal
o estructura en la que quedan definidos sus elementos y las relaciones que se pueden
establecer entre ellos.
Por tanto, la lgica es una ciencia formal y dentro de ella existen distintos tipos de
clculos, el clculo que nosotros vamos a desarrollar y trabajar es la lgica
proposicional o lgica de enunciados que es la base sobre la que se constituye y apoya
todo el edificio lgico.
La lgica proposicional tiene dos partes, por un lado la sintaxis, que se ocupa de la
estructura o forma, y, por otro la semntica, que se ocupa del contenido y, por ello, de la
verdad o falsedad de las proposiciones y argumentos, as la semntica supone la
interpretacin del clculo. Comenzaremos por la sintaxis:
2. SINTAXIS DE LA LGICA PROPOSICIONAL.
2.1. Elementos del clculo.
a. Elementos primitivos: Son las variables proposicionales que
expresan los posibles contenidos de las distintas proposiciones,
representan oraciones o frases enteras, por medio de las letras p, q,
r, s, t, (siempre en minsculas).
b. Operadores o constantes lgicas: stos son los nexos que enlazan
oraciones simples para formar oraciones complejas y expresan
formas iguales en distintos argumentos. Existen dos tipos de
operadores: los mondicos, que operan slo con un elemento
primitivo: el negador `, y los didicos que son constantes lgicas
que operan con dos elementos primitivos: la conjuncin ` ^, la
disyuncin`v, el implicador ` y el coimplicador ` .
2.2. Simbolizacin. Los operadores o constantes lgicas de la lgica proposicional son:
a) Negador. Se simboliza con ` , puede ser considerado como la partcula no del
lenguaje ordinario. Si aparece junto a la proposicin p ( p) puede leerse no p.
b) Conjuntor o producto lgico. Se simboliza con ` ^ , puede ser considerado como la
partcula y del lenguaje ordinario, si une la proposicin p con la proposicin q (p ^ q) se
lee p y q.
c) Disyuntor o suma lgica. Se simboliza con ` v y corresponde en el lenguaje
ordinario a la partcula o. Dos proposiciones unidas por esta conectiva (p v q) se lee p
o q. Esta disyuncin es la inclusiva, ya que, se corresponde con el significado de la
palabra latina vel y es verdadera cuando alguno de las proposiciones que une es
verdadera o cuando las dos lo son, mientras que la disyuncin exclusiva se corresponde
con la palabra latina aut y slo es verdadera si uno de sus miembros lo es, esta ltima
no la vamos a desarrollar, simplemente mencionarla para tener conocimiento de que
existe.
d) Implicador o condicional. Se simboliza con ` y puede ser considerado como una
formalizacin de la expresin del lenguaje ordinario sientoncesla unin de dos
proposiciones o enunciados por el implicador (p q) se lee si p entonces q.
2.4. Reglas de formacin. Estas reglas definen que expresiones estn bien formadas,
para hablar de las reglas de formacin es necesario definir primero qu sea una frmula
atmica y qu sea una frmula molecular.
Una frmula atmica es una frmula compuesta slo por una variable
proposicional, ej.: `p. Mientras que una frmula molecular es una frmula compuesta
por una o varias variables proposicionales y uno o varios operadores o constantes
lgicas, ej.: ` p, o `p v q.
Las reglas de formacin son:
R1. Una frmula atmica es una frmula bien formada.
R2. Si `A es una frmula bien formada, entonces ` A tambin es una frmula bien
formada.
R3. Si `A y `B son frmulas bien formadas, entonces `A ^ B, `A v B, `A B
y `A B tambin son frmulas bien formadas.
R4. Nada ms es una frmula.
2.5. Reglas de transformacin. Estas reglas se entregarn en un folio aparte y
constituyen nuestra herramienta principal de trabajo a la hora de resolver argumentos.
3
Entre stas encontraremos reglas bsicas y reglas derivadas (de las bsicas). Las reglas
bsicas poseen para cada constante lgica u operador dos reglas una de introduccin y
otra de eliminacin.
2.6. Resolucin de argumentos. El uso de las reglas bsicas es, en principio, suficiente
para resolver todo problema deductivo que tenga solucin en lgica proposicional, ya
que, las reglas derivadas no son ms que simplificaciones del uso de las reglas bsicas.
Su empleo debe atenerse a la siguiente estrategia:
1. Asegurarse de la correcta formalizacin del argumento si ste ha sido traducido
del lenguaje ordinario.
2. Una vez dispuestas en columna y ordenadas las premisas se intentar extraer de
las mismas por sucesivas aplicaciones de las reglas la conclusin o las frmulas
que puedan acercarnos a ella.
3. Eventualmente, cabe el recurso a supuestos provisionales de tipo directo. Si la
conclusin o la frmula intermedia que necesitamos es una implicacin, hemos
de suponer su antecedente para llegar hasta el consecuente, usando el teorema de
la deduccin o regla de introduccin del implicador. Si necesitamos usar una
premisa o una frmula intermedia que no tenga la forma de una disyuncin, es
preciso suponer sus miembros, usando la prueba por casos o regla de
eliminacin del disyuntor.
4. Si fallan estos intentos, se puede recurrir a la deduccin indirecta, suponiendo la
negacin de la conclusin que pretendemos alcanzar y aplicando la reduccin al
absurdo o regla de eliminacin del negador, regla que supone encontrar una
contradiccin, para negar aquello de lo que habamos partido.
2.7. Demostraciones. Una demostracin es una deduccin sin premisas, esto quiere
decir que es preciso derivar la conclusin que se pretende obtener de las reglas del
clculo y supuestos provisionales nada ms. Las reglas demostrables en el clculo
pueden considerarse principios lgicos, ya que se derivan de la estructura sintctica del
mismo. Simbolizamos que una frmula es demostrable ponindole el deductor (
)a
la izquierda.
3. SEMNTICA DE LA LGICA PROPOSICIONAL.
Completa la exposicin de la estructura sintctica del clculo proposicional vamos a
considerar los aspectos semnticos del mismo.
La semntica interpreta las frmulas. La lgica es un lenguaje artificial
interpretable, segn los lenguajes naturales. La interpretacin de un enunciado o
proposicin ser su valor de verdad.
La semntica pone en conexin las variables de las frmulas con el conjunto de los
valores de verdad, que representaremos por 1 (verdadero) y 0 (falso); De esta forma nos
encontramos ante una lgica bivalente, a saber con nicamente dos valores posibles, en
la lgica no hay medias tintas. Esta conexin, entre las variables proposicionales y los
valores de verdad, puede ser representada grficamente mediante las llamadas tablas de
verdad, vamos a ver cmo se construyen:
1. Calcular el nmero de filas que debe tener para que pueda recoger todas las
combinaciones posibles de los valores de verdad de los enunciados que las componen.