TEMA 6.

LGICA DE ENUNCIADOS
La lgica elemental se divide en:
lgica de enunciados
lgica de predicados
Ambas utilizan un lenguaje propio artificial o formalizacin de un lenguaje natural
que permite analizar las proposiciones del lenguaje natural. El cometido de la lgica
clsica elemental es determinar si nuestros razonamientos, independientemente de
su contenido, son correctos o incorrectos.
Por razonamientos (o argumentos) se entiende un conjunto de proposiciones de tal
manera que, una de las cuales, denominada conclusin del razonamiento, pueda
presentarse como consecuencia de las dems proposiciones, llamadas premisas
del razonamiento.
En la lgica de enunciados la unidad mnima es el enunciado, es decir, un
segmento lingstico que tiene sentido completo por s mismo:
Esta fiesta es muy divertida
Esta fiesta es muy divertida y la msica es muy buena
Para que un enunciado sea tal, tiene que poder atribursele valores de verdad o
falsedad.
En el caso de las dos oraciones anteriores, la verdad o falsedad habr de
determinarse empricamente, comprobando si, de hecho, la fiesta es divertida y
buena la msica. En este caso, adems, la dificultad es an mayor ya que se trata
de una afirmacin subjetiva.
La lgica de enunciados (o lgica proposicional), trata del estudio de la composicin
de enunciados mediante conectores (y, o, si...entonces, etc.) y se fundamenta en el
principio de bivalencia, segn el cual, todo enunciado es verdadero o falso, pero
nunca ambas cosas a la vez. Podemos decir, por lo tanto, que la lgica de
enunciados se dedica a formalizar las proposiciones del lenguaje natural en un
lenguaje simblico y a definir los conectores, estudiando las leyes de combinacin o
deduccin de los enunciados que las contienen.
En la lgica de predicados se formaliza y estudia la oracin atendiendo a los dos
trminos que la componen: el sujeto y el predicado.
LOS ENUNCIADOS

Ya hemos visto que la unidad mnima de este tipo de lgica es el enunciado o

segmento lingstico con sentido completo.
Los enunciados pueden ser:
1. Simples o atmicos: no tienen conectores de ninguna clase
Ejemplos: El Tajo es un ro.
En esta fiesta hay 20 personas
2. Compuestos o moleculares: utilizan conectores que unen varios segmentos
lingsticos:
Ejemplo: En esta fiesta hay 20 personas y poca cerveza
LOS CONECTORES de los enunciados moleculares son:

NEGACIN:
se
representa
por
el
smbolo
~

.
As, el enunciado p se leera como: " no p"; "no es cierto que p"; "ni p".
El enunciado no es verdad que no sea puntual se formulara: p, donde p es la
variable que representa a ser puntual.

CONJUNCIN: su smbolo es una v mayscula al revs: (podemos utilizar

tambin el signo & ) El enunciado : viajo a la India y a China se formulara: i & c ,
donde i es la variable que representa a viajar a India y c es la variable que
representa
a
viajar
a
China.
p & c & r se leer: "p y c y r" ( p y tambin c, y adems r ).

DISYUNCIN: Su smbolo es V (como la inicial de la disyuncin latina "vel"

y se traduce por o. El enunciado : LLegar en tren o en avin se formulara: t V
a, donde t es la variable que representa llegar en tren y a la variable que
representa llegar en avin.

CONDICIONALO IMPLICADOR: Su smbolo es -> y se traduce por:

si....entonces.
El enunciado: si vienes pronto, iremos al cine se formulara: p -->c , donde p es
la variable que representa al antecendente venir pronto y c a la variable ir al
cine.
p --> ( q --> r ) se leer como: si p entonces q entonces r ( p implica q entonces
r).

BICONDICIONAL O COIMPLICADOR: Su smbolo es <-> y se lee: si y

slo si o tambin: cuando y slamente cuando. El enunciado si y slo si respetas
el deber eres moral se formulara: r <--> m, donde r es la variable que
representa respetar el deber y m la variable ser moral.

Formalizar un lenguaje consiste en traducirlo a otro, atendiendo simplemente a

los aspectos formales. Como ya sabemos, la lgica slo atiende a la validez
formal, haciendo caso omiso a los contenidos, por lo que formalizaremos los
enunciados del lenguaje natural siguiendo criterios puramente formales. No hay
reglas automticas para formalizar los enunciados del lenguaje ordinario. Hay
que "ver" lo que el enunciado dice y "traducir" despus al lenguaje formal. Todo
lo que podemos decir es que al formalizar un enunciado complejo del lenguaje
natural debemos siempre:
1.Identificar los enunciados simples que lo componen
2.Asignar a cada enunciado simple una variable proposicional (p,q,r...)
3.Construir la estructura del enunciado con las variables proposicionales y las
conectivas.
Ejemplo:
Si Luis est contento entonces Rodolfo no lo est.
p Luis est contento
q Rodolfo est contento
Formalizacin: p q

Otro ejemplo.
Luis va al cine si y slo si hay una peli policaca y maana no tiene examen.
p Luis va al cine
q ponen una peli policaca
r Luis maana tiene examen
Formalizacin: p (qr)

Ejemplo:
Si no hay ruidos y no ests sordo, entonces debes orme.
p Hay ruido
q Ests sordo
r Debes orme

Formalizacin: (pq) r

Ejemplo:
Ir al cine o al teatro, si viene Parrado.
p Ir al cine
q Ir al teatro
r viene Parrado
Formalizacin: r (pvq)

Ejemplo:
En caso de que venga Parrado, vendrn Zamora y Ctedra.
p Que venga Parrado
q Que venga Zamora
r Que venga Ctedra
Formalizacin: p (qr)

Ejemplo:
O Parrado debe estudiar y aprobar, o no debe estudiar.
p Parrado debe estudiar
q Parrado debe aprobar
Formalizacin: (pq) V p

Realiza la formalizacin de los siguientes enunciados:

1.Llueve
2.Llueve y hace frio
3.No llueve y no hace frio
4.Si llueve hace frio
5.Llueve o no hace frio
6.No es cierto que no me guste bailar

7.Me gusta bailar y leer libros de ciencia ficcin.

8.Si los gatos de mi hermana no soltaran tanto pelo me gustara acariciarlos.
9.Si y slo si viera un marciano con mis propios ojos, creera que hay vida
extraterrestre.
10. Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un
energmeno.
11. Si los elefantes volaran o supieran tocar el acorden, pensara que estoy como
una regadera y dejara que me internaran en un psiquitrico.
12. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no
tengo que ir a trabajar.
13. Si al tutor se le va el cartn, no aprobar nadie.
14. Si hay guerra, no crecer el paro ni la inflacin.
15. El tutor se ir a Hawai o a Cancn, si y slo si le toca la lotera y no se lo gasta
en la ruleta.
16. El Ratoncito Prez es un invento, y si lo mismo ocurre con Papa Noel, entonces
los nios son engaados.
17. Cuando la bolsa baja mucho, entonces es conveniente comprar; y cuando la
bolsa sube mucho, tambin es conveniente comprar.
18. Aumentar la inflacin y disminuir el paro, slo si se fabrica moneda o hay
guerra.
19. Si el aumento de la inflacin implica la disminucin de la balanza de pagos,
entonces, si no disminuye la balanza de pagos no aumenta la inflacin.
20. Si bebes no conduzcas.
21. No es posible estar en la procesin y tocar las campanas.
22. Sin justicia no puede haber autntica paz
23. Sabemos que los muertos son poderosos soberanos; quizs nos asombre saber
que son tambin los peores enemigos.
24. Cuando uno no tiene imaginacin, la muerte es poca cosa; pero si uno la tiene,
la muerte es demasiado.
25. Tengo entendido que el Real Madrid no va a ganar la liga y que el Valencia
tampoco. Si esto es as, habr problemas con los aficionados.
26. Si la suegra se pone pesada, entonces el marido se ir de casa y la esposa se
ir de vacaciones
27. Si la suegra se pone pesada, entonces el marido se ir de casa, y de todos
modos la esposa se ir de vacaciones.
28. Si la suegra se pone pesada, entonces, si el marido se va de casa, la esposa se
ir de vacaciones.
29. Si la suegra se pone pesada, entonces, o bien el marido se ir de casa o bien la
esposa se ir de vacaciones.
30. Si la suegra se pone pesada y el marido se va de casa, entonces la esposa se
ir de vacaciones.
31. bien la suegra se pone pesada, o bien, si el marido se va de casa, la esposa se
va de vacaciones.

32. Si la suegra se pone pesada o el marido se va de casa, entonces la esposa se

ir de vacaciones.
33. Si la suegra no se pone pesada, entonces ni el marido se ir de casa ni la
esposa se ir de vacaciones.
34. Si no se da el caso de que la suegra se ponga pesada, entonces el marido no se
ir de casa y la esposa no se ir de vacaciones.
35. No se da el caso de que, si la suegra se pone pesada, entonces el marido se ir
de casa y la esposa se ir de vacaciones.
36. La suegra se pondr pesada si el marido se va de casa.
37. La suegra se pondr pesada slo si el marido se va de casa.
38. Que la suegra se ponga pesada es una condicin suficiente para que el marido
se vaya de casa.
39. Que el marido se vaya de casa es una condicin necesaria para que la esposa
se vaya de vacaciones.
40. La suegra no se pondr pesada a no ser que el marido se vaya de casa.
41. El marido se ir de casa si y slo si la suegra se pone pesada.
42. Que la suegra se ponga pesada es condicin necesaria y suficiente para que el
marido se vaya de casa.
43. Siempre que la suegra se pone pesada, el marido se va de casa.
44. Cuando se hubieren acabado los mil aos, ser Satans soltado de su prisin y
saldr a extraviar a las naciones que moran en los cuatro ngulos de la tierra, a
Gog y a Magog, y reunirlos para la guerra (Apocalipsis, 20, 7 y 8).
45. Han sido fusilados todos aquellos que presentaban alguna tara somtica o
defendan ideas disolventes.
46. Si la tarde est oscura, me invadir el optimismo.
47. Cuando alguien escribe como Borges, puede disculprsele todo
48. Se puede decir que Marx era un hegeliano, con tal de que se aclare en qu
sentido y hasta qu punto.
49. En caso de que sople el viento, podremos navegar a vela.
50. De haberlo meditado bien, no me hubiera atrevido a escribir este libro.
51. Ese lapso, corto quiz si se le mide por el calendario, es interminablemente
largo cuando, como yo, se ha galopado a travs de l. (Kafka)
52. Cuando Randolph Carter cumpli los treinta aos, perdi la llave de la puerta de
los sueos (Lovecraft)
53. Cuando naci Buonarroti, Mercurio y Venus ascendan, triunfales, desnudos,
hacia el trono de Jpiter (M. Mjica Lanez)
54. Cuando en el juego no intervienen el amor y el odio, la mujer juega de manera
mediocre (Nietzsche)
55. Cuando empiece la guerra, quiz nuestros hermanos se tranformen (Brecht)
56. A no ser que se produzca un milagro, esta ser la ltima vez que Henry Jekyll
piense con su propio cerebro y vea su imagen reflejada en el espejo (R. L.
Stevenson)

57. Si se ganan las elecciones y nuestros representantes acceden al poder,

confiaremos en ellos si y solo si cumplen sus promesas y el poder no les
corrompe.
58. la Television modifica sus esquemas y renueva su programacion o se producira
una huida masiva de telespectadores y veremos las calles inundadas de gente.
59. Si el Rh de la futura madre es negativo, debe analizarse inmediatamente
despues de cada parto la sangre del recien nacido y, si esta es Rh positivo, ha
de administrarse a la parturienta el suero apropiado si se desean evitar
complicaciones a otros hijos.
60. Si el hombre es moral, no esta determinado univocamente por el ambiente y
cabe exigirle cuenta de sus elecciones.
61. El hidroxido de aluminio es maleable y, a igualdad de peso, mejor conductor de
la electricidad que el cobre.
62. Si Frankestein cruza nuestras calles, ha de indicar que y cuantos fines persigue,
y si miente, le daremos con las puertas en las narices, pero si dice la verdad, le
invitaremos a cenar.
63. Si perseveras en tus decisiones y no cedes al desaliento frente a los obstaculos,
entonces comprobaras como el exito te sonrie.
64. Decir que la suma de sucesiones positivas es una sucesion positiva y el
producto de sucesiones positivas es una sucesion positiva equivale a decir que
la suma y el producto de dos numeros reales positivos es un numero real
positivo.

Todos estos ejercicios se pueden realizar utilizando una nica premisa, pero
Qu ocurre si queremos formalizar un razonamiento con varias premisas y una
conclusin?. Para poder realizar este tipo de ejercicios debemos saber lo
siguiente.

Cada frase es una premisa y por lo tanto asi tendremos que indicarlo.
La conclusin suele aparecer en la ltima frase, aunque no siempre a de
ser as, y suele venir precedida por sentencias del tipo: por tanto, es asi, en
consecuencia, etc. La conclusin del razonamiento la formalizaremos utilizando
el smbolo colocndolo al principio de la formalizacin.
Estos son algunos ejemplos de razonamientos con varias premisas.
Si continua la investigacion, surgiran nuevas evidencias. Si surgen nuevas
evidencias, entonces varios dirigentes se veran implicados. Si varios dirigentes
estan implicados, los periodicos dejaran de hablar del caso. Si la continuacion de
la investigacion implica que los periodicos dejen de hablardel caso, entonces, el
surgimiento de nuevas evidencias implica que la investigacion continua. La
investigacion no continua. Por tanto, no surgiran nuevas evidencias.
p= Continua la investigacion
q= Surgen nuevas evidencias

r= Varios dirigentes se veran implicados.

s= Los periodicos dejaran de hablar del caso.
1: p q
2: q r
3: r s
4: (p s) (q p)
5: p
Conclusion: q
Tal y como aparece en el ejemplo realiza tus los siguientes ejercicios:
1.Pepe es contable o Pepe es actor, pero no ambas cosas a la vez. Si no es
contable, no llevar bien las cuentas de su casa. Es seguro que Pepe es actor.
En consecuencia, Pepe no llevar bien las cuentas de su casa.
2.Si Parrado est contento y hace sol, va al parque. Si Parrado va al parque se
encontrar con Zamora. Hoy Parrado est contento y hace sol. Entonces,
Zamora est en el parque.
3.Si voy a tu casa, cenaremos muy tarde. Si no voy, me perder el partido de ftbol
de esta noche. Es seguro que o voy a tu casa o no voy. Por lo tanto, es seguro
que o cenaremos muy tarde o me perder el partido de ftbol de esta noche.
4.Si sigues corriendo tanto, te caes o te cansas. Si te caes, maana no irs al
campeonato. Seguro que no vas a dejar de correr tanto. As que seguro que
maana no irs al campeonato.
5.La Tierra gira alrededor del Sol o el Sol alrededor de la Tierra. Si la Tierra gira
alrededor del Sol deberamos apreciar una variacin en el brillo de las estrellas a
lo largo del ao o en su posicin con respecto a un observador terrestre. No se
aprecia variacin en el brillo de las estrellas a lo largo del ao. Tampoco se
aprecia una variacin en su posicin con respecto a un observador terrestre.
Luego el Sol gira alrededor de la Tierra.
6.Si no apruebo la revlida no obtengo el ttulo de Bachillerato. Si apruebo la
revlida entonces es que tengo los conocimientos suficientes de 1. y 2. de
Bachillerato. Si tengo los conocimientos suficientes de 1. y 2. de Bachillerato,
entonces o me explican en clase el temario o aprendo lo que no me explican. No
me explican en clase el temario. No aprendo lo que no me explican. Luego no
obtengo el ttulo de Bachillerato.
7.El nio era inteligente y algo pazguato. Si era torpecillo al moverse, poda resultar
un peligro para los platos y vasos en la cafetera. A resultas de esto, la duea lo
puso a fregar el suelo. Volc el cubo de la fregona. Al dejar pringado todo de
agua sucia del cubo, la duea lo quit de esa tarea.
8.Si el nio no hubiera sido tan listo, la duea de la cafetera le habra bajado el
sueldo. Pero sta no pudo hacer tal cosa. Lo que s hizo fue echarle una enorme

reprimenda. Estaba claro que al pobre nio le volvera a caer una buena cada
vez que metiera la pata.
9.El gato es azul si el perro es verde. Pero el perro es verde si no es cierto que el
perro no es verde. Si el gato es azul entonces no es posible que si el perro es
verde y si el perro no es verde entonces no es rojo entonces el gato es rojo o
azul o no.
10. Aristoteles nacio en Estagira y fue tutor de Alejandro Magno. Pero si nacio en
Estagira fue de nacionalidad macedonica. Por tanto Aristoteles fue de
nacionalidad macedonica.
11. Socrates no cometeria una mala accion. Si devuelve mal por mal, estara
cometiendo una mala accion. Si rompe un acuerdo con el Estado porque ha sido
injustamente condenado, esta devolviendo mal por mal. Por tanto, si el huir de la
prision significa romper un acuerdo por haber sido injustamente castigado,
Socrates no huira de la prision.
12. Si la pena de muerte antepone la defensa de la sociedad a la conservacion de la
persona, entonces, si supone la destruccion total de la persona, imposibilita la
correccion del penado. Imposibilita la correccion del penado solo si es
condenable eticamente. La pena de muerte antepone la defensa de la sociedad
a la conservacion de la persona. Por tanto, si la pena de muerte supone la
destruccion total de la persona e imposibilita la correccion del penado, es
condenable eticamente.
13. Si el numero n es positivo, entonces n2 es positivo. Si n es negativo, entonces
n2 es positivo. N es positivo o negativo. En consecuencia, n2 es positivo.
14. los libros de la Biblioteca de Alejandria contienen las ensenanzas del Coran o no
las contienen. Si contienen las ensenanzas del Coran son superfluos, y si son
superfluos deben ser quemados. Si no contienen las ensenanzas del Coran son
nocivos, y si son nocivos deben ser quemados. Por consiguiente, los libros de la
Biblioteca de Alejandria deben ser quemados.
TABLAS DE VERDAD.

Una tabla de verdad es un grfico construido mecnicamente que nos

muestra los posibles valores de verdad de un enunciado molecular. Con su
construccin podemos descubrir tres cosas:

1. Frmula tautolgica: el enunciado molecular que hemos analizado va a

ser, en su conjunto, siempre verdadero, independientemente de la verdad o
falsedad de cada uno de los enunciados que lo componen.

2. Frmula contingente: el enunciado molecular que hemos analizado va

a ser, en su conjunto, unas veces verdadero y otras falso, dependiendo de la
verdad o falsedad de los enunciados que lo componen.

3. Frmula contradictoria: el enunciado molecular que hemos analizado

va a ser, en su conjunto, siempre falso, independientemente de la verdad o
falsedad de cada uno de los enunciados que lo componen.

Cmo se construye una tabla de la verdad? Vamos a construir como ejemplo la

tabla de verdad de la frmula (pq) (qp)
1. Se dibuja una cruz y en su parte superior izquierda se escriben todas las
variables proposicionales que intervienen.

pq

2. Se asignan valores de verdad a las variables de modo que se den todas las
combinaciones posibles. Este nmero se obtiene elevando 2 al nmero de variables
proposicionales que tengamos (en este caso sera elevar 2 al cuadrado por lo que 4 ser el
nmero de combinaciones posibles).

pq
vv
vf
fv
ff

3. En la parte superior derecha se escribe la frmula completa que queremos analizar

y pones debajo de cada variable proposicional los distintos valores de verdad que ya le
hemos asignado en el paso anterior.

pq

( pq) (qp)

vv

vf

fv

f f

4. Siguiendo las reglas que damos a continuacin y partiendo de los elementos ms

simples hasta los ms complejos, vamos viendo todas las opciones posibles:
- Si nos encontramos con la frmula ms simple p, aplicamos la siguiente regla:

- Sin nos encontramos con una conjuncin: pq, aplicamos la siguiente regla:

Slo ser verdadera en el caso en que ambas variables sean verdaderas.

- Si nos encontramos con una disyuncin: pVq, aplicaremos la siguiente regla:

Ser verdadera cuando alguna de las variables sea verdadera.

- Si nos encontramos con un condicional: pq, aplicaremos la siguiente regla:

Ser falso slo en el caso en que el antecedente sea verdadero y el

consecuente falso.
- Si nos encontramos con un bicondicional: pq, aplicaremos la siguiente regla:

Ser verdadera en el caso en que ambos valores de verdad coincidan.

Entonces volvemos a la frmula del ejemplo y aplicamos estas reglas desde las
frmulas ms simples hasta las ms complejas, hasta que lleguemos al final.

pq

(pq) (qp)

vv

f vv v v fvvv

vf

f v vf

v vf vv

fv

v f v v v f vvf

ff

v f f f

v v f vf

Como vemos, todos los valores de verdad que nos dan como resultado son
verdaderos, por lo que en esta frmula, independientemente de que las premisas sean
verdaderas o falsas, siempre nos dar un razonamiento verdadero, es decir, que de las
premisas siempre llegaremos a la conclusin, por lo que estamos ante una frmula
tautolgica.
Ejemplos para la pizarra:
1. p [p V (pq)]
2. (pVq) (p q) Ley de De Morgan
3. (pq)[(pq) (pVr)]
4. [(p q) (q r)] (p r)

Ejercicios:
1. (p q) (p q)
2. [(pVq) p] q
3. [(q p) (p r)] [(qVp)p]
4. [(pq) V (r p)] (p r)
5. [p (qVr)] [p (qVr)]
6. {[(p q) (qVr)] p }r
7. ( p v p ) ( q q )

8. ( p q ) q p
9. ( p p ) r

10. ( p q ) ( q v r )
11. ( p q ) ( q p )
12. ( p v q ) ( p q )
13. ( p q ) v ( p r ) ( p q r ) ( p q r )
14. ( p q ) r ( p v q r ) v ( q r )
15. ( q r p ) ( r v s p v q )
16. p ( q r ) ( t t ) ( s v q ) ( p v s)
17. ( p q ) p ( q v r ) ( q r )
18. ( p q ) ( p q ) ( p q )
19. ( p q ) v r r ( p q )
20. ( p q r ) ( r s ) ( r s ) ( p q r )
21. ( p q ) ( q r ) ( p r )
22. ( p r ) ( q s ) ( p q r s )

Para poder realizar la tabla de verdad de un razonamiento seguiremos los siguientes

pasos.
1. Uniremos las premisas a travs de la conjuncin.
2. El conjunto de premisas lo uniremos con la conclusin a travs del implicador.
LA DEDUCCIN EN LA LGICA PROPOSICIONAL.

Otro mtodo para comprobar si nos encontramos ante una inferencia o

razonamiento formalmente vlido es la deduccin, que consiste en pasar de los
enunciados declarativos que constituyen las premisas al enunciado que constituye la
conclusin aplicando una serie de reglas denominadas reglas de inferencia. Cuando
sea posible el paso de las premisas a la conclusin aplicando estas reglas ser porque
nos encontramos ante un razonamiento formalmente vlido. Cuando esto no sea
posible, nos encontraremos ante un razonamiento no vlido (podra ser contingente o
contradictorio).
Qu significa deducir?
La deduccin es una operacin lgica que consiste en obtener un enunciado
conclusin- a partir de otro(s) premisa(s)- mediante la aplicacin de reglas de
inferencia.

(Decimos que alguien infiere o deduce- t de r si acepta que si se da r, entonces

se da t, o si se acepta t siendo r el punto de partida).
Los humanos, en nuestra tarea diaria, utilizamos constantemente el razonamiento
deductivo: partimos de enunciados empricos supuestamente verdaderos- para
concluir en otro enunciado que se deriva de aquellos. Ya hemos dicho que la lgica,
como ciencia formal, se ocupa de analizar y sistematizar las reglas que permiten la
transformacin de unos enunciados premisas- en otros conclusin- con objeto de
convertir las operaciones deductivas en un clculo riguroso y eficaz.
En secciones anteriores hemos tratado de la simbolizacin de enunciados y de la
construccin de frmulas. Ahora vamos a introducir las reglas de inferencia que nos
permiten operar con las frmulas, organizando cadenas deductivas formalmente
vlidas.

Qu es una cadena deductiva?.

Es una secuencia finita de enunciados de los cuales uno, la conclusin, se sigue
necesariamente de los anteriores. Cada enunciado que forma parte de una
determinada cadena deductiva, constituye una lnea de derivacin.
Observaciones tcnicas:
-

Las distintas lneas de derivacin se colocarn una debajo de otra,

numeradas correlativamente a partir del uno.
Las lneas correspondientes a las premisas iniciales irn provistas de un
guin que preceder al nmero que tengan asignado.
Si la lnea corresponde a una frmula inferida, se indicar a su derecha la
regla aplicada y las premisas utilizadas en la operacin.
Sealaremos con un smbolo parecido a una T volcada la conclusin a la
que queremos llegar ().

Ejemplo:
1 p q

2 p
3q

E.I (1, 2)

Las lneas 1 y 2 van precedidas de un guin, lo cual indica que se trata de

premisas iniciales.

La lnea 3, que es la conclusin inferida, se ha obtenido aplicando la regla

Eliminacin del implicador sobre las frmulas de las lneas 1 y 2.
De qu manera puede obtenerse la conclusin?
a) La conclusin puede obtenerse directamente aplicando reglas de inferencia
sobre las premisas iniciales.
Ejemplos:
I) 1 p (r V n)
2 m p
3 m
4p

E.I (2, 3)

5rVn

E.I (1, 4)

b) Cuando en el desarrollo de la derivacin es necesario utilizar premisas

adicionales (supuestos no contemplados en las premisas dadas), decimos que la
derivacin es subordinada, esto es, la obtencin de la conclusin se subordina a
la utilizacin de tales supuestos.
Observaciones tcnicas:
-

Las lneas de derivacin que introducen provisionalmente supuestos no

contemplados en las premisas iniciales, debern llevar una seal en
escuadra mirando hacia abajo:
1 p q
2 m p
3 m
.
.
.

El significado de dicha seal es: supngase por el momento

Los supuestos provisionales debern ser cancelados antes de establecer la

conclusin. Un supuesto provisional queda cancelado cuando, en una lnea
posterior de dicha derivacin, se obtiene una frmula tal que permite la
deduccin inmediata de otra frmula que es independiente del referido
supuesto. La cancelacin de un supuesto se expresa cerrando la escuadra:
3 supuesto
.
.
.
.
n frmula obtenida a partir del supuesto

c) En caso de que la conclusin no pueda obtenerse por los mtodos ya

reseados, recurriremos a la derivacin indirecta o reduccin al absurdo.

La reduccin al absurdo consiste en suponer como premisa provisional la negacin de

la frmula que se pretende demostrar y obtener, mediante este supuesto, una
contradiccin (A A). La consecuencia lgica ser la negacin del supuesto, esto es,
la afirmacin de la conclusin deseada.
La reduccin al absurdo se fundamenta en el principio lgico que excluye aquellas
hiptesis de las que pueda derivarse una contradiccin.
Si de un enunciado (m) se sigue una contradiccin (r r, por ejemplo), el enunciado
debe ser rechazado.
Observaciones tcnicas:
-

Las lneas de derivacin que introducen el supuesto (la negacin de la

conclusin) y la contradiccin obtenida, observarn las condiciones relativas
a los supuestos provisionales y a la cancelacin de los mismos que ya
hemos comentado.
Aadamos que todo supuesto provisional y toda frmula que de aqul se
derive y quede incluida entre ambas escuadras una vez el supuesto se ha
cancelado, no podr volver a utilizarse como elemento de nuevas inferencias.

Hay innumerables reglas de inferencia (tantas como frmulas tautolgicas

puedas construir mediante tablas de verdad). Sin embargo, existen algunas que son
muy tiles ya que se repiten en la mayora de los razonamientos. Las reglas
fundamentales sern las siguientes:
Eliminacin de la conjuncin.- Simp1/Simp2 - (Simplificacin)

AB
____
A/B
Si en una deduccin tenemos AB podemos afirmar A, podemos afirmar B o bien A y
luego B.

Introduccin de la conjuncin.- Prod. (Producto)

A
B
_______
AB / BA
Si en una deduccin tenemos A y ms tarde aparece B (aunque existan muchos
elementos entre ambas), podremos afirmar AB o BA.

Eliminacin del condicional o implicador o Modus Ponens - MP

AB
A
______
B

Para sacar conclusiones de un condicional siempre tendremos que conseguir el

antecedente. Si en una deduccin tenemos un condicional y su antecedente, podremos

afirmar su consecuente. Es decir, si el antecedente es verdadero, el consecuente es

NECESARIAMENTE verdadero.

Introduccin del condicional o implicador TD (Teorema de la Deduccin).

A
.
.
B
____
AB

Si tenemos dos enunciados declarativos o dos frmulas cualesquiera, podemos

afirmarlas a modo de condicional. Si suponemos un enunciado cualquiera (A) y de l se
deduce o deriva otro (B) es que es consecuencia suya y, por tanto, podemos establecer
una implicacin entre ellos.
Introduccin de la disyuncin Ad 1/Ad 2 (Adicin)

A
__________
AVB / BVA

Si tenemos cualquier frmula o enunciado declarativo, podemos afirmar la misma

frmula o enunciada seguida de otra frmula cualquiera, siempre que la unamos con
una disyuncin. Esto se basa en que para que una disyuncin sea verdadera es
necesario que al menos uno de sus trminos lo sea, es decir, que si tenemos un
enunciado que es verdad, le aadamos lo que le aadamos a travs de la disyuncin,
la expresin resultante seguir siendo verdad.

Eliminacin de la disyuncin Cas (prueba por casos)

AVB
A
C
B
C
C
La explicacin es que si una disyuncin es verdadera y de la suposicin de cada
uno de sus trminos se sigue la misma conclusin, podemos afirmar esa conclusin
como un enunciado verdadero.

Introduccin de la negacin o Reductio ad absurdum Abs

A
B B
______
A

Si nos encontramos una contradiccin cualquiera precedida de cualquier frmula,

podemos enunciar la misma frmula negada. O lo que es lo mismo, si un enunciado,
tomado como verdadero, nos conduce a una contradiccin, es que es falso, lo
podemos negar.

Eliminacin de la negacin DN (doble negacin)

A
_____
A

Dos negaciones, afirman.

Eliminacin del bicondicional o coimplicador ECO

AB
____________
AB / BA

Introduccin del bicondicional o coimplicador ICO

AB
BA
______
AB / BA

Una vez conocemos las reglas bsicas de deduccin, vamos a ver algunas reglas
derivadas. Slo vamos a ver algunas, pero existen muchsimas ms.

FRASES A FORMALIZAR

Bolivia no tiene puerto de mar 1

2
Era de noche, pero llova
En el mundo todo es como es y sucede como sucede 3
Si hay riesgo de lluvia, baja el barmetro; pero el barmetro no baja.
Por tanto, no hay riesgo de lluvia. 4
5. Estoy esperando noticias de Francia y me encuentro muy nervioso 5
1.
2.
3.
4.

6. Si la tarde est oscura, me invadir el optimismo 6

7. Si se puede plantear una cuestin, tambin puede resolverse 7.
8. Si los empresarios integran la clase de lite de cualquier sociedad y
su poder sigue siendo enorme, no se entiende que haya podido
darse una intervencin pblica tan amplia 8
9. Si hacemos los exmenes, nos quedamos tranquilos; pero si los
hacemos y no los aprobamos no nos quedamos tranquilos 9
10.
La mejor comunidad poltica es la formada por los ciudadanos
de clase media10
11.
Si traicionas a los amigos y no eres leal, ni piadoso, entonces
consigues el Imperio, pero no consigues la gloria 11
12.
Puede ser que vayamos a Alczar o a Criptana, pero en ambos
casos al llegar descansaremos12.
13.
Slo en el caso de que valoremos el trabajo triunfaremos en el
mundo acadmico13
14.
Sabemos ya que los muertos son poderosos soberanos, pero
es posible que ahora nos asombre averiguar que son tambin
considerados como enemigos14
15.
Cuando alguien escribe como Borges, puede disculprsele
15
todo
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

16.
Los que tuvieron medios para hacerlo, huyeron; los que no
huyeron se suicidaron16
17.
Si la contraccin del corazn coincide con la dilatacin de las
arterias, o bien la contraccin del corazn impele sangre a las
arterias o bien la dilatacin de las arterias aspira sangre del
corazn17
18.
Si los sentidos nos engaan, el conocimiento humano no es
algo seguro. Pero tenemos que s hay conocimiento seguro. Por eso
podemos afirmar que no siempre nos engaan los sentidos. 18
19.
En caso de que sople el viento, podremos navegar a vela. 19
20.
Sin justicia no puede haber paz autntica20
21.
Bien pensado, no hay por qu ser bienpensante 21
22.
Si jugamos a la lotera, y nos toca, entonces nos vamos a los
Andes.22
23.
Jugamos a la lotera, y si nos toca nos vamos a los Andes 23
A no ser que se produzca un milagro, esta ser la ltima
vez que el doctor Jekyll piense con su propio cerebro y vea su
imagen reflejada en el espejo 24
24.
De haberlo meditado bien, no me hubiera atrevido a escribir
este libro 25
25.
Es agradable pasear bajo la lluvia cuando se tiene algo en qu
pensar26
26.
Como siga aparentando tanta felicidad, empezar a pensar que
sufre considerablemente 27
27.
T dedcate al amor libre y vers cmo te sorprende la muerte
en pecado mortal28.
28.
Cuando en el juego no intervienen el amor y el odio, la mujer
juega de manera mediocre Nietzsche 29
29.
De lo que no se puede hablar, lo mejor es callarse
(Wittgenstein)30
16
17
18

19
20
21
22
23
24
25
26
27
28
29
30

30.
No habiendo vino, no hay amor (Eurpides) 31
31.
Se puede decir que Marx era un hegeliano, con tal de que se
aclare en qu sentido y hasta qu punto32
32.
Se vencan las marioplumas y todo se resolviraba en un
profundo pnice (Julio Cortzar)33
33.
Si la sociedad de los hombres ha de ser siempre como ahora,
entonces la corrupcin es eterna. Pero la corrupcin no es eterna,
por tanto no ha de ser siempre como ahora la sociedad de los
hombres.34
34.
Si florecen las hortensias se marchitan los tulipanes. Pero
ocurre que no se marchitan los tulipanes, por tanto no florecen las
hortensias35
35.
Ese lapso, corto quiz si se le mide por el calendario, es
interminablemente largo cuando, como yo, se ha galopado a travs
de l
(Kafka)36
36.
Cuando se hubieren acabado los mil aos, ser Satans
soltado de su prisin y saldr a extraviar a las naciones que moran
en los cuatro ngulos de la tierra, a Gog y a Magog, y reunirlos para
la guerra Apocalipsis, 20, 7-8 37

Simbolizar las siguientes expresiones:

31
32
33
34
35
36
37

1. No es cierto que la lgica sea difcil.

2. No ocurre que 2 + 2 = 5.
3. Pedro no es mdico.
4. Todo lo que t dices es falso.
5. No es verdad que todo lo que t digas sea falso.
6. La cuadratura del crculo es imposible.
7. No es el caso que lo infinito est limitado por algo.
8. Es imposible que no sea cierto lo que dices.
9. El sol no es una estrella.
10. No es verdad que el sol no sea una estrella.

EJERCICIOS DE APLICACIN 3
11. Estos problemas no son muy difciles para m, aunque he tardado en resolverlos.
12. Los tejados son de pizarra y las puertas de madera.
13. Ella tiene la luz, tiene el perfume, el color y la lnea.
14. Me van bien los estudios pero no apruebo.
15. Cantaban, bailaban, jugaban y rean.
16. No es cierto que cantaran y bailaran.
17. No creo en lo que dices y, sin embargo, sigo confiando en ti.
18. Ni puedo prohibirlo ni puedo tolerarlo.
19. La riqueza ayuda a ser feliz, pero la cultura todava ms.
20. Lleg, vio y venci.

EJERCICIOS DE APLICACIN 4
21. Demostrar esta proposicin sea por el mtodo directo sea por el indirecto.
22. Ya sea por el estudio, ya sea por la suerte, aprobar las oposiciones.
23. Me entero de la situacin poltica leyendo El Pas o La Vanguardia.
24. Una de dos: o se acepta que hay ideas innatas o el idealismo es imposible.
25. O me eligen presidente o abandono la poltica.
26. O estudias y trabajas o sers un desgraciado.
27. No es posible que o no queden macarrones en la despensa o que el supermercado no
est abierto los domingos.
28. El consom se servir fro o templado.
29. O se queda o se marcha: no es posible que se quede y se marche.

30. Y el muy maleducado, ya se rascaba una oreja, ya se rascaba el sobaco.

EJERCICIOS DE APLICACIN 5
31. Para poder vivir, basta con tener un trabajo fijo.
32. Se convertir en un demcrata con tal de que pueda ocupar un cargo.
33. Hace fro, luego no es verano.
34. El hombre es un animal poltico, por tanto no es un salvaje.
35. Si hoy es lunes, maana no ser jueves.
36. Cuando hay abundancia, desaparece la miseria.
37. Si no crees en Dios pero blasfemas, te ests contradiciendo.
38. T dedcate a la electrnica y vers como ganas dinero.
39. Siempre que empiezo a jugar no s cundo acabar.
40. Si eres licenciado, no es posible que no sepas leer ni escribir.

EJERCICIOS DE APLICACIN 6
41. Un mineral es metal si y slo si es un buen conductor de la electricidad.
42. La suma de los ngulos de un tringulo equivale a 180.
43. Dejar el tabaco si y slo si t dejas el alcohol.
44. Tener malos pensamientos equivale a practicarlos.
45. Como deca Alfredo, slo los que conocen Oviedo pueden disfrutar a fondo leyendo La
Regenta.
46. nicamente los esquimales atolondrados cazas las focas a pedradas.
47. La voz de la conciencia es lo mismo que la voz de la ignorancia.
48. Slo aplicando la racionalidad puede la vida tener sentido.
49. No es cierto que slo aplicando la racionalidad pueda tener sentido la vida.
50. Si no es verdad lo que dices, entonces nicamente en el caso de que te retractes, te
volver a dirigir la palabra.