LOGICA DE ENUNCIADOS

La lgica de enunciados o proposicional es la parte ms elemental de la lgica, y estudia la

formalizacin, composicin y leyes de deduccin de los enunciados. As deben distinguirse:
- Los enunciados a componer, que se toman como un todo, sin analizar la estructura interna
- Los smbolos primitivos: variables de enunciado y nexos o conectores.
- Reglas de derivacin
1.- Formalizacin de enunciados:
Formalizar consiste en traducir las expresiones del lenguaje ordinario a un lenguaje formal o
simblico. Para ello se sustituyen los enunciados del lenguaje por variables de enunciado y nexos o
partculas que enlazan los enunciados por smbolos lgicos.
Enunciado, juicio, proposicin, frase, oracin, es cualquier segmento lingstico del que podamos
decir que es verdadero o falso.
Los enunciados se dividen en atmicos (no llevan ningn nexo o conector) y moleculares
(compuestas por enunciados atmicos y enlazados por algn nexo)
El Turia es un ro
La catedral de Len es Gtica
El mosquito Anfeles propaga el paludismo

atmicos

Si luce el sol, iremos a la playa

Antn y Marina son hermanos de Juan
Tengo sed y tengo frio

moleculares

1.1 Variables de enunciado:

Para simplificar la enorme complejidad del lenguaje ordinario la lgica (igual que la fsica, la
qumica o la matemtica) sustituye los enunciados atmicos por una variable de enunciado.
Normalmente se conviene en usar: p, q, r, s t, u, w. (x, y, z y a, b, c, d, e, se reservan para otro tipo
de variables) Ejemplos:
Machado es poeta p
Las rosas son rojas q
Joan mir naci en Barcelona r
1.2 Conectores:
Son los smbolos lgicos que representan las partculas que, exceptuando el negador, unen los
enunciados atmicos dando lugar as a enunciados moleculares. Estos signos suelen llamarse
conectores, conectivas o juntores.
Son los siguientes:
NEGADOR: signo que representa la partcula no del lenguaje ordinario. Expresiones como ni,
no es cierto que, No es el caso que, es falso que o a veces en prefijos: impreciso es no
preciso, inmortal es no mortal
p p
V F
F V

Definicin del negador: Si un enunciado es verdadero su negacin es falsa

CONJUNTOR: signo que representa la partcula y del lenguaje ordinario o cualquier otra que
encierre la idea de conjuncin:aunque, pero, sin embargo adems. Para representar la
conjuncin utilizamos el signo .
Definicin del conjuntor: una conjuncin es verdadera cuando sus dos componentes son verdaderos,
falsa en los dems casos.
p

p q

V V

V F

DISYUNTOR: signo que representa la partcula o del lenguaje ordinario o cualquier otra que
encierre la idea de disyuncin. Para representar la disyuncin empleamos el signo V.
Definicin del disyuntor: una disyuncin es falsa cuando sus dos trminos son falsos, verdadera en
los dems casos.
p

pVq

V V

V F

IMPLICADOR: Es el signo que representa las partculas si.... entonces del lenguaje ordinario o
cualesquiera otras que encierren la idea de condicin, tales como slo si... entonces, cuando....
entonces, etc. Para representar la implicacin emplearemos el signo . En la formalizacin de
enunciados la partcula si introduce el antecedente, mientras que la partcula entonces (que a
veces puede ir elptica, es decir, no aparecer) introduce el consecuente. As, en un enunciado como
si acierto una quiniela, me har rico, acierto una quiniela (p) es el antecedente, y es condicin
suficiente, que no necesaria, de que se d me har rico (q), que se convierte de esta manera en el
consecuente; es decir, si se da el antecedente debe darse el consecuente; pero el consecuente puede
darse aunque no se d el antecedente: yo puedo hacerme rico sin que haya acertado una quiniela,
por ejemplo por una herencia, o por la lotera etc.
Se formalizara as: p q
Condicin suficiente quiere decir que exista al menos un caso posible de que me pueda hacer
rico si me toca la quiniela, condicin necesaria quiere decir que slo me har rico si acierto la
quiniela, es decir que para que se de el consecuente tiene necesariamente que darse el antecedente.
Cuando a la partcula si se le antepone la partcula slo: slo si en tal caso se invierte el
orden:
slo si acierto la quiniela me har rico se formalizara as: q p
Definicin de implicador: Una implicacin es falsa cuando el antecedente es verdadero y el

consecuente falso, y verdadera en todos los dems casos, Sus valores de verdad son:

pq

COIMPLICADOR: Es el signo que representa la partcula si y slo si del lenguaje ordinario o

cualquier otra que encierre la idea de una doble condicin tal como equivale a, cuando y
solamente cuando etc.
Para representar la coimplicacin emplearemos el signo . Mediante el coimplicador se pretende
poner de manifiesto que un enunciado es condicin suficiente y a la vez necesaria para otro. De esta
manera en un enunciado tal como si y slo si acierto una quiniela me har rico ocurre lo
siguiente:
La partcula si, decamos que introduce el antecedente de una implicacin, por tanto pq
La partcula slo si inverta el orden, por tanto qp
Y la partcula y, la conjuncin de ambos condicionales, por tanto (pq) (qp), o mejor
representado:
pq
Definicin de coimplicador: Una coimplicacin es verdadera si y slo si ambos miembros tienen
el mismo valor de verdad, y falsa en caso contrario.
p

pq

1.3 Alcance de los conectores y uso de los parntesis.

Cuando formalizamos enunciados atmicos, no es necesario usar parntesis porque la conexin
entre enunciados es clara, pero puede darse el caso de que los enunciados enlacen un enunciado
molecular con uno atmico, dos enunciados moleculares, o incluso, varios enunciados moleculares.
En estos casos hace falta saber qu enunciados se enlazan, es decir, cul es el alcance o dominio de
los conectores. Ejemplos:
Si el abono es adecuado y el riego se realiza en su momento, la cosecha ser excelente.
p q r
Si tenemos la maana libre y hace buen tiempo, entonces no es cierto que nos quedemos en casa o
veamos el programa de televisin
p q r v s
Esta formalizacin es ambigua, no sabemos qu implica qu y adems es incorrecta. Para evitar

estos errores hace falta recurrir a los parntesis.

A) En el primer ejemplo el primer enlace se realiza entre los enunciados el abono es adecuado y
el riego se realiza en su momento que se enlazan mediante una conjuncin. Por tanto p q.
B) este enunciado molecular se enlaza ahora con uno atmico, la cosecha ser excelente, cuyo
enlace es una implicacin. Por tanto, la formalizacin sera (p q) r
En el segundo ejemplo:
A) el primer enlace se realiza entre los enunciados tenemos la maana libre y hace buen
tiempo. Al ser una conjuncin, su formalizacin sera p q. Pero luego, y a un mismo nivel,
tambin hay enlazados otros dos enunciados atmicos, nos quedemos en casa y veamos el
programa de televisin, unidos por una disyuncin; por tanto, su formalizacin sera r v s.
B) El segundo de los enunciados aparece negado, por tanto la negacin alcanza todo el enunciado y
se formaliza as (r v s).
C)Observemos ahora que el primer enunciado molecular viene precedido todo l de si, y, por
tanto, es el antecedente de una implicacin, y que la negacin del segundo enunciado molecular
viene precedida de entonces, lo cual la convierte en el consecuente de dicha implicacin, de esta
manera obtenemos (p q) (r v s).
El uso adecuado de los parntesis nos permite poner de manifiesto cul o cules son los conectores
que, en la formalizacin de distintos enunciados, dominan sobre otros, evitando as cualquier
ambigedad o incorreccin.
El uso de los parntesis en lgica se rige por las mismas reglas que en matemticas. No obstante en
ocasiones se adoptan determinadas convenciones para evitar el uso exagerado de parntesis, pero no
es necesario que tratemos esto en el curso.
1.4 Formalizacin
La traduccin del lenguaje ordinario al lenguaje lgico no es una cosa mecnica. No hay una regla
que nos indique automticamente cmo debe efectuarse la traduccin, sino que hay que confiar en
algunas reglas generales, que ya hemos visto, y sobre todo en la pericia, imaginacin y
conocimiento de ambos lenguajes por parte del lgico. Ni a cada conector le corresponde una y slo
una conjuncin del lenguaje ordinario, ni a cada conjuncin le corresponde un slo conector.
Veamos ejemplos:
1) los animales, como las plantas son seres vivos.
pq
[Los animales son seres vivos (p) y las plantas son seres vivos (q)]
2) Dos rectas son paralelas si tienen la misma direccin
qp
[si tienen la misma direccin (q) entonces dos rectas son paralelas (p)]
3) El hidrxido de aluminio es maleable y, a igualdad de peso, mejor conductor de la
electricidad que el cobre.
p(qr)
[El hidrxido de aluminio es maleable (p) y si tiene igual peso que el cobre (q), entonces es mejor
conductor que ste (r)]

4) En no habiendo armas , no habr hambre

pq
Haber armas ....p
Haber hambre.......q

[Si no hay armas entonces no hay hambre]

5) Llorar a menos que me apruebes

Llorar..................p
Me apruebes.........q

[Si no me apruebas entonces llorar] p q

[O me apruebas o lloro]
p vq

6) El camino es largo o corto

el camino es largo ......................p
el camino es corto ( no es largo)... .p

pvp

Usaremos la negacin siempre que aparezca en el enunciado y, como en este ltimo caso, cuando el
segundo enunciado sea necesariamente lo contrario del primero.
1.5 Deduccin
Todas las ciencias estn compuestas en ltima instancia por juicios, y habamos dicho que un juicio
es una proposicin o enunciado susceptible de ser verdadero o falso. Los juicios a su vez, se unen
formando razonamientos. Un razonamiento es un proceso en el que, a partir de unas premisas o
enunciados, se obtiene por inferencia una conclusin. La lgica, en su aspecto deductivo, posee
unos mecanismos por medio de los cuales es capaz de determinar si el razonamiento es vlido o no;
es decir, si de la unin de los trminos de las premisas se puede concluir lgicamente la conclusin.
Para construir una deduccin formal procedemos de la siguiente manera:
Escribimos primero los supuestos iniciales o premisas designndolos con una lnea horizontal a la
izquierda del nmero correspondiente teniendo en cuenta que su orden de colocacin es indiferente.
La conclusin se escribe en la parte derecha de la lnea correspondiente al ltimo supuesto
utilizando el smbolo denominado deductor y que se lee por tanto.
Ejemplo: (p t) (r s), q t, q w, luego p s
1 (p t) (r s)
2 q t
3 q w

p s

Despus, inferiremos, si es posible, nuevas lneas enfocadas a la obtencin de la conclusin,

aplicando las reglas de inferencia a las premisas iniciales. Para indicar las reglas de inferencia
aplicadas colocamos a la derecha de la lnea pertinente la abreviatura de la regla seguida del
nmero o nmeros de la lnea o lneas de derivacin precedentes en las que nos hayamos apoyado al
aplicar la regla. As tendramos:

1 (p t) (r s)
2 q t
3 q w p s
4 q
Simp 3
5 t
MP 2,4
En caso de que no se pudieran aplicar las reglas de inferencia sobre premisas inciales, o si, como en
el presente ejemplo, una vez aplicadas no se hubiera obtenido la conclusin, entonces, y con miras a
esta, se introducen los supuestos subsidiarios necesarios, que debern ser cancelados y se contina
aplicando las reglas de inferencia hasta obtener la conclusin deseada:
1 (p t) (r s)
2 q t
3 q w p s
4 q
Simp 3
5 t
MP 2,4
6 p
7 p t Prod 6,5
8 r s MP 1,7
9 s
Simp 8
10 p s TD 6-9
Para designar los supuestos subsidiarios utilizaremos un corchete colocado a la parte izquierda, que
comienza con la lnea donde se introduce el supuesto subsidiario y termina en la lnea donde se
cancela dicho supuesto.
Hay que tener en cuenta que cuando se introducen dos o ms supuestos subsidiarios, los corchetes
de cancelacin no deben interferirse:
SI

SI

NO

NO

Puede ocurrir que se nos pida obtener una conclusin sin que para ello dispongamos de premisas.
En tal caso debemos comenzar por introducir cuantos supuestos subsidiarios sean necesarios para
obtener la conclusin, debiendo ser cancelados correctamente. As:
p (q p q)
1p
2q
3 p q Prod 1,2
4 q p q TD 2,3
5 p (q p q) TD 1,4
Observa que se debe suponer en el orden de la conclusin, primero p despus q e ir cancelando
en la medida en que van apareciendo en la conclusin q cuando implica p q y p cuando

implica q p q.
Reglas bsicas:
Las reglas bsicas son de dos tipos: Reglas de introduccin y reglas de eliminacin. Como los
conectores principales son cuatro (,v,,) y hay dos reglas por conector, una para introducirlo y
otra para eliminarlo tenemos un total de ocho reglas bsicas que son las siguientes:
a) Reglas bsicas de implicacin:
1. Modus Ponens (MP)
AB
A
B
Esta regla nos permite eliminar una implicacin: si en una lnea de una derivacin contamos con
una implicacin, AB, y en otra lnea tenemos el antecedente, A, de dicha implicacin, entonces
podemos escribir en una nueba lnea su consecuente, B.
2. Teorema de Deduccin (TD)
A
.
.
.
B
AB
Esta regla nos permite introducir el implicador, y nos dice que si en una lnea de una derivacin
introducimos un supuesto, A, del que derivamos la conclusin B en otra lnea, entonces podemos
escribir AB en una nueva lnea.
b) Reglas bsicas de la conjuncin:
3. Simplificacin (Simp) A B (Simp) A B (Simp)
A
B
Esta regla nos permite eliminar el conjuntor: si en una lnea de una derivacin tenemos una
conjuncin de dos enunciados, A B, podemos escribir cualquiera de sus miembros en una nueva
lnea.
4. Producto ( Prod.)

A
B
A B

Esta regla permite introducir el conjuntor: si en una lnea de una derivacin tenemos un enunciado,
A, y en otra lnea tenemos un enunciado, B, entonces podemos escribir su conjuncin, A B, en
una nueva lnea.
c) Reglas bsicas de disyuncin:

5. Adicin (Ad)

A
Av B

A
BvA

Esta regla nos permite introducir el disyuntor, y nos dice que si en una lnea de una derivacin,
tenemos un enunciado, A, entonces podemos escribir en una nueva lnea dicho enunciado unido
mediante el disyuntor a otro enunciado cualquiera, as A v B.

6. Prueba por casos (Cas): A v B

A
.
.
C
B
.
.
C
C
Esta regla nos permite eliminar el disyuntor, y nos dice que si en una lnea de una derivacin
tenemos una disyuncin, A v B, y en otra lnea introducimos el supuesto A, primer miembro de la
disyuncin, del que se sigue la conclusin C, y en otra lnea introducimos el supuesto B, segundo
miembro de la disyuncin, del que se sigue la misma conclusin C, entonces podemos escribir C en
una nueva lnea.
7. Doble negacin (DN):

A
A

Esta regla permite eliminar el negador, y nos dice que si en una lnea de una derivacin tenemos un
enunciado con doble negacin, entonces podemos escribir en una nueva lnea el mismo enunciado
afirmado.
8. Reduccin al absurdo (Abs)

A
B B
A

Esta regla permite introducir el negador, y nos dice que si en una lnea de una derivacin
introducimos un supuesto A, y a partir del l obtenemos como conclusin una contradiccin B B
en otra lnea, entonces podemos escribir la negacin de dicho supuesto, A, en una nueva lnea.