Escolar Documentos
Profissional Documentos
Cultura Documentos
MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA
1- QU ESTUDIA LA LGICA?
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) QU ESTUDIA LA LGICA?
Ejemplo 3- Todos los dibujos animados son de Walt Disney y Shrek es un dibujo
animado
Por lo tanto, Shrek es de Walt Disney
2.2- QU ES FORMALIZAR?
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.
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
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
Ejemplos:
Andrs juraba pero evitaba blasfemar = pq
T y yo iremos a verla = rs
No es cierto que me escuches y no hables = (pq)
Regla de simbolizacin IV
Las expresiones del lenguaje natural tales como o, oo, Bienbien, a
menos que., se sustituirn por el smbolo
Ejemplos:
O cierras la puerta o pillar un resfriado = pq
O te callas o no te escucho = pq
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
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 f ) (v f)
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 pq
V V V
V F F
F V V
F F V
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?
p q pq
V V V
V F F
F V F
F F V
q= ser feliz,
p q p q p q q p (p q) (q p)
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
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
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
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- rs MP 6, 2
I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA
8- t MP 7,3
demuestra: pq, a partir de la siguientes premisas: (rs)m, m
pq, (rs)
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- qr s prem 6- p MT 1,5
3- s prem
4- ?p
deducir: (p q), a partir de las premisas: t, n s, s t, p q n
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- pq prem
2- qr prem
3-r prem
4- ?p
5- q SD 2,3
6- p SD 1,5
deducir: p, a partir de las premisas: pq, qr, rs, st, t
X
X Si en una deduccin aparecen dos frmulas
contradictorias, entonces podemos deducir cualquier cosa
Y
1- p prem
2- pq prem
3- q(rs) prem
4- rs prem
5- ?wz
X Y
Y y X
X Y XY
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- pr
5- p
6- p
7- r
8- pr
X Y
I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA
XY
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- qs
3- q MP 1, 2
4- qs ID 4
Demostrar mn, a partir de mp, pr, r
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; prs a partir de pq, qmn, mnrs,
I.E.S. MARIANA PINEDA
DEPARTAMENTO DE FILOSOFA
XY YX
XY XY
XY YX
XY X Y
( X Y) ( X 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 Y)
XY X Y
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 q)
2- rq
3- sr
4- s
5- pq 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
EJERCICIOS:
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 _______