I.E.S.

MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA



LOGICA FORMAL. Lgica proposicional


1- QU ESTUDIA LA LGICA?

2- DEL LENGUAJE NATURAL AL LENGUAJE FORMAL
2.1- por qu a veces no nos sirve el lenguaje natural?
2.2- qu es formalizar?

3- LA LGICA PROPOSICIONAL
3.1-Qu es una proposicicin?
3.2- proposiciones atmicas y moleculares
3.3- los juntores y su formalizacin. Reglas de formalizacin
4.4- reglas sobre el uso de parntesis

4- TABLAS DE VERDAD.
4.1- El principio de bivalencia
4.2- Aprendiendo a hacer tablas de verdad
4.3- Valores de verdad de los juntores
4.4- Tautologas, contradicciones y proposiciones indeterminadas

5- LA DEDUCCIN EN LA LGICA PROPOSICIONAL
5.1- qu significa deducir?
5.2- Qu es una cadena deductiva?
5.3- Qu es una regla de inferencia?
5.4- Reglas bsicas de inferencia.

5) QU ESTUDIA LA LGICA?

La Lgica es aquella parte de la filosofa que se encarga de analizar
los razonamientos para distinguir los que son correctos de los que son
incorrectos. Es la ciencia que estudia las condiciones de validez formal de los
argumentos. Veamos que significa esta definicin:

Razonar consiste en aplicar el filtro de la razn a nuestras ideas o
creencias para someterlas a una revisin crtica, nuestra mente es como una
cesta en la que caben todo tipo de creencias, desde las sensatas, como que la
tierra es redonda, hasta las ms fantsticas, como que la luna es un queso)
nuestra razn acta tamizando estas creencias para aceptar solo aquellas que
contengan el menor nmero de errores. La funcin de la lgica es analizar la
estructura de nuestros razonamientos para determinar si estn correctamente
construidos o no.


Normalmente, cuando razonamos, partimos de unos datos iniciales o
informacin previa que expresamos por medio de unas afirmaciones llamadas
premisas. Estas premisas nos conducen a una conclusin. Diremos que un
razonamiento es correcto cuando, partiendo de las premisas (y con
independencia de la verdad o falsedad de las mismas), se llega a una
conclusin que es legtima. Por ejemplo:
I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA




Ejemplo 1-Todos los dibujos animados son de Walt Disney y Blancanieves es un
dibujo animado
Por lo tanto, Blancanieves es de Walt Disney

Cuando las premisas no nos autoricen a extraer la conclusin,
entonces diremos que el argumento es incorrecto. Por ejemplo:

Ejemplo 2- Todos los dibujos animados son de Walt Disney y Blancanieves es un
dibujo animado
Por lo tanto, Walt Disney es un dibujo animado

Ahora bien, supongamos que nos hubieran dado el siguiente
argumento:

Ejemplo 3- Todos los dibujos animados son de Walt Disney y Shrek es un dibujo
animado
Por lo tanto, Shrek es de Walt Disney

Diramos que este argumento es correcto? Aunque lo que dice es
falso (puesto que Shrek no es de Walt Disney) tendramos que concluir que el
argumento es correcto. Cmo es esto posible? Fijmonos en el primer y ter-
cer ejemplo. Qu tienen en comn? Si observamos detenidamente, nos
daremos cuenta de que los dos tienen la misma forma, cosa que no ocurre con
el segundo ejemplo. Podramos esquematizar dicha forma de la siguiente ma-
nera:
Ejemplos 1 y 3 Ejemplo 2

Todos los A son B Todos los A son B
Ces A C es B

Por lo tanto, C es B por lo tanto C es A


Ejercicio: podras explicar la razn por la cual los
argumentos 1 y 2 son correctos, mientras que el
argumento 3 no lo es?

Esto nos lleva a la siguiente conclusin: lo que le interesa comprobar a
la lgica no es si el argumento es verdadero o falso, sino si es correcto o
incorrecto, es decir, si estn o no bien construdos. Y es que la lgica no se
preocupa por lo que dicen los argumentos (su contenido) sino por su forma.
Quiz se vea ms claro con otro ejemplo:

Todos los trinos son petos y Cunmi es un trino
Por lo tanto, Cumni es un peto

Este argumento es correcto (tiene la misma forma que los ejemplos 1) y
3), aunque su contenido no sea cierto, o no tengamos ni idea de lo que es un
trino o un peto, o de quin pueda ser Cumni.
Por tanto, concluiremos que gracias a la lgica podremos saber qu
argumentos son correctos y cules no, estudiando la forma que tienen dichos
argumentos. La cuestin de la verdad de los contenidos la habrn de dilucidar
las diferentes ciencias empricas (las cuales, a su vez, utilizarn la lgica en
sus razonamientos).

I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA



Ejercicio: construye un razonamiento correcto con la forma del ejemplo
1 y un razonamiento incorrecto con la forma del ejemplo 2


2- DEL LENGUAJE NATURAL AL LENGUAJE FORMAL:

2.1- POR QU A VECES NO NOS SIRVE EL LENGUAJE
NATURAL?

De lo dicho anteriormente se deduce que la lgica es una ciencia
formal, puesto que se preocupa por la forma de los argumentos. Como tal
ciencia formal necesitar disponer de un lenguaje formal (un ejemplo de lenguaje
formal que ya conocis es el de las matemticas). Ms adelante veremos cules
son los smbolos que forman parte de ese lenguaje formal de la lgica; de
momento diremos que, en definitiva, lo que hace la lgica formal es lo siguiente:

1- Establecer qu formas de argumentos son correctas y cules no, es decir,
formular las leyes del correcto razonar.
2- Traducir los argumentos que se nos dan en lenguaje natural u ordinario (el
castellano, el ingls, el chino mandarn) al lenguaje formal. En definitiva: que
aprendamos a escribir en un lenguaje nuevo.
3- Una vez llevada a cabo esta traduccin, mediante una serie de mtodos (que
veremos ms adelante), se dedicar a comprobar si esos argumentos son
correctos o no.

Pero por qu es necesario hacer esa traduccin del lenguaje natural al
lenguaje formal? Por qu no podemos trabajar directamente con el lenguaje
que nos resulta ms familiar, al que ya estamos acostumbrados? Porque el
lenguaje natural carece de precisin y puede llevamos a mltiples errores: hay
palabras que se usan de un modo impreciso y ambiguo, como por ejemplo fcil
(para quin resulta fcil algo? Un mismo problema puede resultar muy fcil para
un matemtico pero muy difcil para un estudiante de Primaria), o bonito.

Adems, en el lenguaje natural. Un mismo trmino puede tener ms de un
significado (polisemia), o a la inversa: varios trminos pueden significar lo mismo.
Todos estos problemas los solucionaremos mediante un lenguaje
formalizado en el cual cada.smbolo slo har referencia a una sola cosa, solo
podr tener un nico significado. As, en la frmula e = v / t (espacio es igual a
velocidad dividida por el tiempo) cada smbolo est perfectamente definido y no
hay lugar para distintas interpretaciones.


2.2- QU ES FORMALIZAR?

Queda aclarado entonces que el lenguaje natural es la lengua que utiliza
cotidianamente para comunicarse, una comunidad de hablantes (nuestro lenguaje
natural es el espaol. Las caractersticas del lenguaje natural son:

- Es un lenguaje construido por una comunidad humana, aparece en el seno
de una cultura y constituye su sistema de smbolos ms importante.
I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA



- Es plstico, puede usarse con una infinidad de propsitos.
- Es impreciso, su plasticidad hace posible la aparicin de fenmenos como
la sinonimia, las metforas, los dobles sentidos.

El lenguaje formal es un lenguaje simblico utilizado por los lgicos con el fin de
analizar la estructura y validez de los razonamientos. Se distingue del lenguaje
natural en que:
o es un lenguaje artificial, diseado especialmente por los lgicos
para la funcin sealada ms arriba. Concretamente, la lgica
proposicional fue desarrollada, a principios del siglo XX por filsofos
como G. Frege, y sobre todo Bertrand Russell, y A. N. Whitehead en su
obra Principia mathemtica.
o Es un lenguaje rgido, su nica funcin es el anlisis de la forma de los
argumentos
o Es un lenguaje preciso. Cada uno de los trminos de su vocabulario
posee un nico significado.

El lenguaje de la lgica proposicional o de enunciados est compuesto de los
siguientes smbolos:
a) letras: a partir de la p, que simbolizan proposiciones
b) conectivas o juntores: smbolos lgicos que representan todas las
relaciones posibles entre las proposiciones:, ., v, ,
c) parntesis: que agrupan las proposiciones y sus relaciones.

FORMALIZAR: consiste en traducir los mensajes y argumentos desarrollados en
el lenguaje natural a un lenguaje formal, para estudiar su validez.
Se trata de un trabajo de interpretacin, no es mecnico sino que hay que
descubrir el tipo de relacin lgica que se esconde detrs de las oraciones del
lenguaje natural (por ejemplo en las proposiciones vino, pero no me habl, y
vino y no me habl existe el mismo tipo de relacin lgica entre vino y no me
habl, aunque en el lenguaje natural se utilizan distintas expresiones: y, y
pero)

Dentro de la lgica hay varias ramas, en este tema vamos a desarrollar una de
ellas, la conocida como lgica proposicional que se ocupa de analizar si son
correctos o no (por su forma, cmo ya sabis) aquellos argumentos en los que
intervienen proposiciones, pero... qu es una proposicin?.






3- LA LGICA PROPOSICIONAL
3.1- Qu es una proposicin?
Vamos a intentar definir lo que es una proposicin, viendo primeramente lo
que no es una proposicin.
A) Una proposicin no es una frase: porque una proposicin debe tener un sentido
completo, mientras que una frase no tiene por qu tenerlo. Por ejemplo: No estoy
de acuerdo, es una frase pero no una proposicin, pues para que tenga un
sentido hay que situarla dentro de un contexto.
I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA



B) Una proposicin no es un juicio: un juicio implica siempre una valoracin subjetiva.
Por ejemplo, Me gusta el helado de vainilla expresa mis propios gustos, que no
tienen por qu compartir los dems. Mientras que una proposicin debe hacer una
afirmacin de la cual podamos decidir objetivamente si es verdadera o falsa.
C) Una proposicin no es, sin ms. Una oracin: una oracin puede ser de muchas
clases (interrogativa, imperativa, exclamativa). Slo las oraciones enunciativas
pueden ser proposiciones. As, diremos que toda proposicin es una oracin (y en
concreto enunciativa), pero no toda oracin es una proposicin. Por ejemplo, la
oracin Qu hora es? no es una proposicin.
D) Una proposicin tampoco es, exactamente, un enunciado: un enunciado es la
expresin lingstica de una proposicin, mientras que la proposicin sera el
sentido del enunciado. Por eso, dos o ms enunciados se pueden corresponder
con una misma proposicin. Por ejemplo, Buenos das, Good morning, Guten
Tag, son enunciados distintos que expresan una nica proposicin puesto que
tienen un mismo significado
Resumiendo, podemos definir una proposicin del siguiente modo: es el
sentido (punto en el que se distingue del enunciado) completo (se distingue de la
frase) expresado por una oracin enunciativa (no confundir con otros tipos de
oraciones) del cual es posible afirmar de un modo objetivo (distinguindose as del
juicio) su verdad o su falsedad.

Una proposicin se puede descomponer en los elementos que la
constituyen, normalmente sujeto y predicado. Por ejemplo:
Juan es estudiante de medicina.
S P
Pero, a la lgica proposicional no le interesan los elementos que
componen una proposicin sino que considera cada una de ellas como un
bloque, como una unidad. Y dispondr de una serie de smbolos formales
para representar dichas proposiciones y traducirlas al lenguaje formal que
utiliza.
A esos smbolos les llamar letras proposicionales y son las siguientes: p, q,
r, s, t.. As por ejemplo, la proposicin anterior se traduca del siguiente
modo: Juan es estudiantede medicina = p.



3.3- Los juntores y su formalizacin

3.2- Proposiciones atmicas y
moleculares:
En el lenguaje ordinario no slo usamos proposiciones aisladas, sino
que a veces unimos varias de ellas y formamos una proposicin ms compleja.
Por ejemplo: Juan es estudiante de medicina y Mara de periodismo. Estas
proposiciones complejas formadas por l unin de dos o ms proposiciones
simples se llaman proposiciones moleculares, mientras que las proposiciones
simples que las componen se llaman proposiciones atmicas.Cmo
traduciramos al lenguaje formal una proposicin molecular como la anterior?
Juan es estudiante de medicina = p Mara (es estudiante) de periodismo = q
Pero.. cmo simbolizar el trmino (en este caso la y) que enlaza
ambas proposiciones? Atmicas? Necesitaremos para ello un nuevo tipo de
smbolo lgico que represente esos trminos de enlace: los juntores. As lla-
mados porque sirven para juntar unas proposiciones con otras.
I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA



Reglas de formalizacin

Regla de simbolizacin I
Cada uno de los enunciados simples del lenguaje natural se sustituir por
variables proposicionales simbolizadas mediante las letras minsculas: m, n,
o, p..

Ejemplos:
Roberto es un buen estudiante = p
Quiz lo mejor sea ver todo esto mediante un ejemplo = q

Regla de simbolizacin II
Las expresiones del lenguaje natural tales como no, no es cierto, no es el
caso que, es falso, es imposible que etc.., se sustituirn por el smbolo

Ejemplos:
No la volv a ver ms = p
No es verdad que no te conozca = q

Regla de simbolizacin III
Las expresiones del lenguaje natural tales como y, ni, pero, que, mas
etcse sustituirn por el smbolo .

Ejemplos:
Andrs juraba pero evitaba blasfemar = p.q
T y yo iremos a verla = r.s
No es cierto que me escuches y no hables = (p.q)

Regla de simbolizacin IV
Las expresiones del lenguaje natural tales como o, oo, Bienbien, a
menos que., se sustituirn por el smbolo v

Ejemplos:
O cierras la puerta o pillar un resfriado = pvq
O te callas o no te escucho = pvq
O no viene tu nombre en la gua telefnica o he olvidado el alfabeto = r


Regla de simbolizacin V
Las expresiones del lenguaje natural tales como sientonces, luego,
por tanto, cuando.., con tal que., se deduce, etc se sustituirn
por el smbolo:

Ejemplos:
Si Juan pierde el autobs, llegar tarde = pq
Como hoy no hace sol, no iremos a la playa = pq

Regla de simbolizacin VI
Las expresiones del lenguaje natural tales como : si y slo si, equivale a
, es igual a, vale por etcse sustituirn por el smbolo
Ejemplos:
I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA



Un pueblo es democrtico si y solo si hay elecciones libres: pq
Slo en el supuesto de que t no la hayas matado, quedars en libertad: rs
Podrs entrar en la comunidad slo si eres vegetariano y pacifista: p(q.r)

3.4- Reglas sobre el uso de parntesis

A- Deben utilizarse slo cuando son necesarios, es errneo utilizar
demasiados o demasiado pocos
B- se utilizarn cuando la negacin afecta a toda una conjuncin, disyuncin,
condicional o bicondicional:
No es cierto que estuviese ayer con tu novio y nos fusemos al cine = (pvq)
C- Dominancia lgica: se interpreta que hay unas conectivas que tienen
dominacia, es decir, ms capacidad o fuerza para unir unas proposiciones con
otras, a esto se le llama tener mayor o menor dominancia. As el orden de
dominancia que la lgica establece es, de mayor a menor:
1- bicondicional o coimplicacin
2- condicional o implicacin
3- . , v conjuncin y disyuncin, de igual dominancia,
Por lo tanto:
- No habr que usar parntesis si la dominancia lgica es la habitual:
Ejemplo: Si llueve y la tierra es frtil, tendremos buenas cosechas = p.qr
- Es necesario utilizar parntesis en los casos en los que la dominacia lgica
no es la habitual
Ejemplo: La tierra es frtil, y si llueve, tendremos buenas cosechas = p.(qr)
- Es necesario el uso de parntesis para indicar cual es el signo de mayor
dominacia entre conectivas con la misma fuerza lgica.
Ejemplos:
O nos quedamos y le ayudamos, o no vamos y le dejamos solo = (p.q) v (r.s)
Le dejamos solo, o nos quedamos y le ayudamos, o, simplemente nos vamos =
pv (q.r) vs


5) TABLAS DE VERDAD.

4.1-El principio de bivalencia
Toda proposicin tiene dos valores de verdad, puede ser verdadera o falsa: V o
F.
Principio de bivalencia: una proposicin puede ser verdadera o falsa, pero no
ambas cosas a la vez.
(v v f ) . (v . f)






4.2- aprendiendo a hacer tablas de verdad
los valores de verdad de una proposicin se expresan en una tabla de verdad:
p
----
I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA



v
f
Las tablas de verdad son un instrumento para calcular los valores de verdad de
una proposicin compleja. Los valores de verdad de dicha proposicin resultan de
la combinacin de los valores de verdad de las proposiciones simples que la
forman, as, siendo n, el nmero de proposiciones simples, ser 2 el nmero de
combinaciones de valores de verdad posibles, por ejemplo: hoy vendremos y
seremos felices, tendr 4 valores de verdad que sern:


p q un modo sencillo de calcular las combinaciones p v f
v v de los valores de verdad de cualquier nmero de
v f proposiciones es el mtodo arbreo: q v f v f
f v
f f

Segn vemos, el nmero de combinaciones posibles de los valores de verdad de
las proposiciones atmicas que componen una proposicin molecular, responde a
la frmula 2
n
, donde n es el nmero de letras proposicionales distintas que
aparecen en la proposicin molecular.

Seras capaz de calcular las posibles combinaciones de verdad de la
proposicin: si no hiciese mal tiempo y los das fuesen ms largos, podramos
viajar a Pars y visitar a nuestros amigos? (utiliza el mtodo arbreo y refleja
estas combinaciones en una tabla de verdad)
















P q p.q
V V V
V F F
F V F
F F F

P q pvq
V V V
V F V
F V V
F F F


b) Condiciones de verdad del conjuntor:
una proposicin molecular formada por la unin de dos o ms proposiciones (atmicas o moleculares)
mediante la accin de un conjuntor ser verdadera slo cuando todos sus componentes sean tambin
verdaderos. Con que uno de ellos sea falso ser suficiente para que la proposicin molecular resultante lo sea
tambin. Y ello por que el conjuntor simboliza la partcula y del lenguaje ordinario, y cuando unimos dos
oraciones mediante esta conjuncin damos por supuesto que ambas son ciertas.
el siguiente paso ser ver cmo afectan los juntores a los valores de verdad de
las proposiciones a las que unen, es decir, las condiciones de verdad de los
juntores.

4.3 los valores de verdad de los juntores

a)Condiciones de verdad del negador:
si una proposicin atmica o molecular es verdadera, entonces su negacin ser falsa; si es
falsa, entonces su negacin ser verdadera. Estas condiciones se expresan mediante la
siguiente tabla:
5) condiciones de verdad del implicador:
una proposicin molecular formada por la unin de dos o ms proposiciones (atmicas o moleculares)
mediante la accin de un implicador, ser verdadera en todos los casos excepto cuando el antecedente
sea yerdadero y el consecuente sea falso.


C) Condiciones de verdad del disyuntor:
Una proposicin molecular formada por la unin de dos o ms proposiciones (atmicas o
moleculares) mediante la accin de un disyuntor, ser verdadera si al menos uno de sus
componentes es verdadero; de otro modo: slo ser falsa, si todos sus componentes son falsos.

Esto es as, porque en el lenguaje ordinario, cuando unimos dos expresiones mediante la
partcula o damos por supuesto que es posible que ambas opciones sean ciertas (sentido
inclusivo): Para acceder a este puesto de trabajo hay que saber Ingls o alemn ; o que al
menos una de ellas lo es (sentido exclusivo): El acusado es culpable o inocente. Pero es
inaceptable que ambas sean falsas.
I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA

































4.4- Tautologas, contradicciones y proposiciones indeterminadas.
Las tablas de verdad nos permiten calcular los valores de verdad de las
proposiciones complejas en las que aparecen varios juntores, hacen posible que
determinemos en qu condiciones estas proposiciones complejas sern
verdaderas
cmo se elaboran las tablas de verdad?

De adentro a afuera, es decir, calculando, en primer lugar el valor de verdad de
las conectivas que afecten a un menor nmero de proposiciones, veamos el
siguiente ejemplo:

Esto es as porque el implicador expresa que el antecedente es la causa de consecuente. Por
tanto, si se da la causa pero no efecto, la relacin de causa efecto ha fallado, no es correcta. Por otra
parte, en el lenguaje ordinario aceptamos como vlidas implicaciones en las que tanto el antecedente
como el consecuente son falsos. Supongamos que un amigo algo fantasma cree tener cierto parecido
con Brad Pitt y le decimos: si t te pareces a Brad Pitt yo me parezco a George Clooney. A que todos
aceptamos la expresin como vlida aun sabiendo que tanto el antecedente como el consecuente son fal-
sos?
5) Condiciones de verdad del coimplicador:
una proposicin molecular formada por la unin de dos o ms proposiciones (atmicas o
moleculares) mediante la accin de un coimplicador, ser verdadera slo cuando todos sus
componentes tengan el mismo valor de verdad. Es decir, si todos sus componentes son verdaderos o
si todos sus componentes son falsos. Esto es as porque el coimplicador traduce la expresin si y
slo si del lenguaje ordinario y establece, como vimos, equivalencias e igualdades.
p q
pq
V V V
V F F
F V F
F F V

P q pq
V V V
V F F
F V V
F F V

I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA



cuando somos buenos no siempre somos felices, y cuando somos felices no
siempre somos buenos (Oscar Wilde)

1- formalizacin de la proposicin: p= ser bueno

q= ser feliz,

de lo que resulta la frmula: (p q) . (q p)

2- Colocar en la tabla de verdad los elementos componentes de la
proposicin compleja, de modo que situemos en primer lugar los juntores que
afecten a menos proposiciones simples, y en ltimo lugar los juntores que afectan
a la proposicin compleja en su totalidad:


p q p q p q q p (p q) . (q p)





3- Calcular los valores de verdad de la proposicin compleja , de acuerdo a
las combinaciones de los valores de verdad de las proposiciones simples que la
forman y de los valores de verdad de los juntores que aparecen


p q p q p q q p (p q) . (q p)

f f v v v v v
v f f v v v v
f v v f v v v
v v f f f f f


Una tabla de verdad puede dar como resultado, que todos los valores de verdad
de la proposicin compleja sean verdaderos, (tautologa) que todos sean falsos
(contradiccin) o que, como en el ejemplo, unos sean verdaderos y otros falsos
(indeterminada).




I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA




Qu juntores simbolizan la relacin lgica expresada por el padre?















EJERCICIOS:

1- Formaliza los siguientes enunciados:

a) Este no es mi da feliz.
(estamos ante una proposicin simple o compleja?)
b) No es cierto que Pedro sea piloto y su hermano conductor de autobs
(atencin al uso de parntesis)
c) Ha llegado el invierno y los das son ms cortos
d) Si quieres verme, tendrs que venir enseguida
(en el lenguaje natural, frecuentemente, las comas esconden relaciones lgicas,
piensa que ocurre en este caso)
e) Si vienes despus de las diez encontrars la puerta cerrada y no podrs
entrar
(atencin al uso de parntesis)
f) O vas al colegio o vienes a casa
g) No es cierto que Jos tenga coche
h) Si no vienes a caballo, no podrs llegar hasta aqu
(caso idntico al d)
i) Si l viene, yo me voy
j) O te quedas en casa y cenas lo que hay, o te vas a cenar al bar
(hay conjunciones, disyunciones y parntesis..)
k) La brjula marca un rumbo engaoso y no estamos viajando hacia el sur, si
y solo si esa no es la estrella polar
l) En diciembre suele haber pato en los restaurantes de Miami
(fjate si se trata de una proposicin simple o compleja)
m) Este coche no corre, aquel corre ms
(qu tipo de relacin lgica se esconde detrs de la coma, en este caso?)
n) Est prohibido fumar y escupir
(hay que interpretar est prohibido como no se puede)
I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA



o) Cuando somos buenos, no siempre somos felices, y cuando somos felices,
no siempre somos buenos (Oscar Wilde)
(sabias palabras..)
p) No es posible que una misma cosa sea y no sea
(este es el principio lgico de no contradiccin, debe interpretarse en el sentido
de que p y p, no pueden darse a la vez)


1- Formaliza los siguientes razonamientos:

a) Si me engao existo, el que no existe no puede engaarse, pero yo me
engao, por lo tanto yo existo (San Agustn)

b) Mi to dice que es un hombre honrado pero no paga sus impuestos, el que
no paga sus impuestos es un delincuente, por eso mi to no es un hombre
honrado.

c) Me matan si no trabajo y si trabajo me matan, trabaje o no trabaje, siempre
me matan (Jorge Cafrune)

d) Los tiburones son curiosos y se acercan a cualquier objeto extrao que
flote en el agua, pero slo si se les excita por la sangre que mana de las heridas,
atacarn.


e) Si Doa Angelitas ama a Pedro, entonces no ama a Don Marcelino, pero si
doa Angelitas ama a Marcelino, entonces no ama a Roberto, si doa Angelitas
ama a Roberto, no puede amar a Pedro o a Don Marcelino, pero Doa Angelitas
ama a Marcelino, luego no ama a Pedro ni a Roberto.


1- Halla la tabla de verdad de los razonamientos a) y c) del ejercicio
anterior

4- halla la tabla de verdad de los siguientes razonamientos, indica si se trata
de tautologas, contradicciones o indeterminadas
a) p q c) (pv r). (p. r)
b) (p q) . (p q)














I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA


























5- LA DEDUCCIN EN LA LGICA PROPOSICIONAL

5.1- qu es deducir?
La deduccin es una operacin lgica que consiste en obtener un
enunciado una conclusin- a partir de otros - las premisas- y aplicando las
REGLAS DE INFERENCIA .
Cuando realizamos una deduccin vamos elaborando una CADENA
DEDUCTIVA

5.2- Qu es una cadena deductiva?
Es una secuencia finita de enunciados, uno de los cuales, la conclusin, se
sigue necesariamente de las anteriores
Cuando elaboramos una cadena deductiva:
a) los enunciados se colocan uno debajo de otro, en lneas numeradas
correlativamente a partir del 1-
b) se indicar, a la derecha, si el enunciado es una premisa o si lo hemos
obtenido derivndolo de las reglas de inferencia aplicadas a las premisas. En
este ltimo caso, se indicar a la derecha la regla de inferencia aplicada y las
lneas en las que ha sido aplicada.
c) En una cadena deductiva se sitan, por orden, las premisas a partir de las
cuales se llega a la conclusin, a continuacin el enunciado que se quiere
demostrar, interrogado y en las lneas siguientes, los enunciados obtenidos
tras la aplicacin de las reglas de inferencia en las premisas hasta deducir la
conclusin.
Veamos un ejemplo:
- tenemos, como premisas: s, s m, m p.q
- queremos averiguar si estas premisas nos permiten concluir p. q

I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA



Cuando concluimos el
enunciado interrogado a partir
de las premisas, se hace una
lnea y se tacha la
interrogacin que habamos
colocado delante de la
conclusin
1- s prem.
2- s m prem.
a) y b) 3- m p. q prem
4- ?p . q

5- m MT. 1, 3
c) 6- p . q MT 3,5


6.3- Qu es una regla de inferencia?

Una regla de inferencia es una norma que establece un modo vlido de
operar o razonar, pasando de unas proposiciones a otras. Un ejemplo de lo
que es una regla de inferencia sera la que establece que, si en un
razonamiento tenemos como premisa un condicional y la afirmacin de su
antecedente, podemos, de acuerdo con lo que expresa la tabla de verdad del
condicional, deducir su consecuente:
si llueve las calles se mojan 1- pq prem
est lloviendo 2- p prem
las calles estn mojadas q

Esta regla de inferencia se denomina MODUS PONENS

6.4- Reglas bsicas de inferencia.
Conocer las principales reglas de inferencia y saber aplicarlas en la
realizacin de cadenas deductivas nos permite conocer si una conclusin
puede extraerse, lgicamente de unas premisas. Por lo tanto la deduccin es
una manera distinta a la de las tablas de verdad, de establecer si un
razonamiento es, o no, formalmente vlido.

PRINCIPALES REGLAS DE INFERENCIA:
Estudiaremos las reglas de inferencia bsicas, es decir, aquellas que nos
sirven para introducir (hacer aparecer) o eliminar (hacer desaparecer) juntores.

1- REGLA DE ELIMINACIN DEL CONDICIONAL O MODUS PONENS
(MP.)
X Y
X
Y

Si digo siempre la verdad (p), los dems confiarn siempre en m (q), y si los
dems confan en m, me siento seguro (r ) en independiente (s). Cuando me
siento seguro e independiente soy capaz de afrontar cualquier problema(t), yo
digo siempre la verdad, por lo tanto soy capaz de afrontar cualquier problema
1- pq prem
2- q r . s prem
3- r. s t prem
4- p prem
5- ?t
6- q MP 1,4
7- r.s MP 6, 2


I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA



8- t MP 7,3
demuestra: pvq, a partir de la siguientes premisas: (r.s)m, m
pvq, (r.s)


2- REGLA DE ELIMINACIN DEL CONDICIONAL O MODUS TOLLENS
(MT.)
X Y
Y
X

Si fueras un rey destronado (p), viviras con lujo (q) y no tendras que trabajar
(r), y si vivieras de esa manera, te distraeras haciendo viajes alrededor del
mundo (s), como no te distraes de tal manera, deduzco que no eres un rey
destronado.
1- p q . r prem 5- (q. r) MT 2,3
2- q.r s prem 6- p MT 1,5
3- s prem
4- ?p
deducir: (p v q), a partir de las premisas: t, n s, s t, pv q n

3- REGLA DE ELIMINACIN DE LA DISYUNCIN O SILOGISMO
DISYUNTIVO (SD.)
a) XvY b) XvY
X Y

Y X
Este hombre, o es abogado (p) o es parlamentario (q). Pero, o no es
parlamentario o le habra visto en las sesiones plenarias (r ), no le he visto en
las sesiones plenarias, luego es abogado.
1- pvq prem
2- qvr prem
3-r prem
4- ?p
5- q SD 2,3
6- p SD 1,5
deducir: p, a partir de las premisas: pvq, qvr, rvs, svt, t

4- REGLA DE LA DOBLE NEGACIN (DN.)
X X
y
X X
Si no es cierto que no bromeo, entonces no hace fro, pero no es verdad que no
haga fro, luego no bromeo
1- p Prem
2- q prem
3- ?p
1- p MT 2,1
2- p DN4
Demostrar: q, a partir de p q y p
I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA



Si en una deduccin aparecen dos frmulas
contradictorias, entonces podemos deducir cualquier cosa

5- REGLA DE LA ELIMINACIN DEL NEGADOR(EN.)

X
X

Y

Este es un televisor scrub , si es scrub debe funcionar de maravilla y si
funciona de maravilla, la imagen no saldr borrosa e invertida, pero la imagen
sale borrosa e invertida, as que ser mejor que lo tire a la basura y me
compre un molinillo de caf


1- p prem
2- pq prem
3- q(r.s) prem
4- r.s prem
5- ?w.z



3- REGLA DE LA INTRODUCCIN DEL CONJUNTOR (IC.)

X Y
Y y X

X .Y X.Y
Si el pncreas no segregase la suficiente insulina (p), apareceran sntomas de
diabetes (q), y si la glndula suprarrenal produjese demasiada adrenalina (r ),
ocurrira lo mismo (q). Ahora no aparecen sntomas de diabetes (q), por lo tanto el
pncreas segrega suficiente insulina (p) y la glndula suprarrenal no se excede en
sus funciones (r)
1- pq
2- rq
3- q
4- p.r
5- p
6- p
7- r
8- p.r

deducir: m.n, a partir de: pm, qn, p, q


7- REGLA DE LA ELIMINACIN DEL CONJUNTOR, O SIMPLIFICACIN (EC.)
X .Y X.Y

X Y

I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA



Si utilizo un ampermetro (p) podr calcular la intensidad de la corriente (q), si
utilizo un voltmetro (r) medir la diferencia de potencial existente entre dos puntos
del circuito elctrico (s), si averiguo la intensidad de corriente y de potencial
elctrico, podr calcular la resistencia elctrica del conductor (t). Tengo un
ampermetro y un voltmetro, as que podr calcular la resistencia elctrica del
conductor
1- pq prem
2- rs prem
3- q.st prem
4- p.r prem
5- t prem
6- p EC4
7- q MP1,6
8- r EC 4
9- s MP2,8
10- q.s IC 7,9
11- t MP 3,10

Demostrar p, a partir de las premisas: (p.q)vr, rt, t



8- REGLA DE LA INTRODUCCIN DE LA DISYUNCIN (ID.)

X

XvY
Si la clula bacteriana es de estructura protocaritica (p), carece de membrana
nuclear (q). La clula bacteriana es protocaritica, luego carece de membrana
nuclear o solo tiene un cromosoma (s)
1- pq prem
1- p prem
2- qvs
3- q MP 1, 2
4- qvs ID 4
Demostrar mvn, a partir de mvp, pr, r

1- REGLA DE LA TRANSITIVIDAD DEL CONDICIONAL (TRAN)

XY
YZ

XZ
Si como demasiado, engordo, y si engordo no me sirve la ropa, si como
demasiado no me sirve la ropa
1- pq
2- qr
3- pr
4- pr
deducir; pr v s a partir de pq, qmvn, mvnrvs,

I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA



10-REGLA DE INTRODUCCIN DEL BICONDICIONAL (IB.)
XY XY
YX YX

XY YX

11- REGLA DE ELIMINACIN DEL BICONDICIONAL (EB.)

XY XY

XY YX

1- LEYES DE MORGAN (DM):

XvY X .Y

( X . Y) ( X v Y)

Caso 1: David juega o Daniel estudia, por lo tanto no ocurre que David no juega y
que Daniel no estudia
Caso 2: el perro salta y el len ruge, por lo tanto no ocurre que el perro no salta o
el len no ruge

(X . Y) (X v Y)

X v Y X . Y

Caso 3: no ocurre que yo canto y t lloras, as que o yo no canto o t no lloras.
Caso 4: no es verdad que yo cante o que t llores, as que yo no canto y t no
lloras.

Ejemplo:
No es el caso de que o Obama apoya el viaje o Zapatero no viaja a Berln
Merkel hace concesiones si y solo si Zapatero hace concesiones.
Si Sarkozy se mantiene neutral entonces Merkel no hace concesiones
Luego Sarkozy no se mantiene neutral.
1- (p v q)
2- rq
3- sr
4- s
5- p.q DM1
6- q EC5
7- qr EB2
8- r MP6,7
9- r DN8
10- s MT3,9




EJERCICIOS:
I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA




Demostrar: ps, a partir de : tp, rs, pr, st,
Demostrar: pvqm.n, a partir de uvwm.n, r.suvw, uvqr.s
Demostrar: p.r, a partir de pq y q
Demostrar: r, a partir de qrp, q.p
Demostrar: p.q, a partir de pt, (ts)q, y p
Demostrar: qp.q, a partir de pvq(qp.q), r.(p.qq), y p
Demostrar: (pv s) . q, a partir de (p . s), p r, qp, r













EJERCICIOS:

1- Escribe, en lenguaje natural enunciados de las formas siguientes, poniendo
en lugar de cada raya un enunciado. A continuacin rescrbelosen el lenguaje de
la lgica de enunciados:

a) Si___________, entonces_______________
b) ________ si y solamente si no ____________
c) Si _______ y ___________ , ____________
d) No es cierto que _______ y ______________
e) Si no _________ y no _________ , entonces no_______
f) __________ , siempre que ________ y no ____________
g) Cuando _____ , no____ o ____ pero _________
h) No _____ si y solamente si no_____pero no ____________
i) Es cierto _________ y ________ pero no_________
j) No es el caso que si ______ entonces_______ y no _______

1- Suponiendo que p y q son verdaderas y que r y s son falsas,
determina qu frmulas son verdaderas y cules falsas.
a) pvqp.q
b) (pq).(rs)(pvr)
c) p.rqvs
d) |(pvq).(rp)|
e) (pqvs)

2- Formaliza y halla la tabla de verdad de:
I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA



a) O Jaime se come el polo o se le derretir; no se derrite el polo; por tanto,
Jaime se come el polo.
b) Si la situacin preblica es irrepetible, no sirve de nada prepararse para la
esa lucha, la situacin preblica es irrepetible, luego no sirve de nada prepararse
para la lucha
c) Si el Barcelona gana los tres prximos partidos, ganar la liga. Por tanto, si
el Barcelona gana los tres prximos partidos y sigue ganando partidos, ganar la
liga.
d) Si la tormenta contina o anochece, nos quedaremos a cenar o a dormir; si
nos quedamos a cenar o a dormir no iremos maana al concierto; por
consiguiente, no iremos maana al concierto.
e) Cuando viajo me mareo, siempre que me mareo, me entra un hambre
atroz. As pues, siempre que me entra un hambre atroz, viajo.