Oller, Carlos A. (1998) Lgica proposicional.

Ejercicios y guas de Trabajos Prcticos, cuadernillo

publicado por la Prosecretara de Publicaciones de la Facultad de Filosofa y Letras (Pun 480),
Universidad de Buenos Aires, serie Fichas de ctedra, Ctedra de Lgica, Departamento de Filosofa.

Guas y ejercicios de lgica de

primer orden
Carlos A. Oller

1. Lgica Informal
1.1. Analizar los argumentos contenidos en los textos
siguientes, indicando sus premisas y conclusiones:
1. Qu beneficia ms? Ser gobernado por un hombre excelente o por
excelentes leyes? ... Mejor es aquello que no est sujeto en absoluto a
pasiones, que aquello a lo cual ellas son connaturales. Ahora bien, esas
pasiones no corresponden a las leyes, mientras que toda alma humana,
necesariamente, las posee. (Aristteles, Pol., III, 10, 1286)

2. En general, en cualquier parte en que haya una jerarqua de grados

de valor (un mejor), aqu hay tambin una cima de perfeccin (un ptimo),
y como en el dominio de las realidades existentes, hay siempre una mejor
que la otra, habr tambin, pues una ptima entre todas, que ser Dios (lo
divino). (Aristteles, De philos., fr.16, Walzer y Rose)

3. Pues si algo fuese bien o mal por naturaleza, deba ser para todos
bien o mal, como la nieve es fra para todos; pero, contrariamente a eso, no
existe bien o mal que sea comn para todos; luego, no existe bien o mal por
1
naturaleza... Pues la misma cosa es estimada un bien por uno (como el
placer por Epicuro), un mal por otro (como por Antstenes): de ah se
derivar, pues, que la misma cosa es bien y mal (Digenes Laercio, Vida de
filsofos ilustres,IX, 101)

4. Es imposible que un continuo conste de indivisibles, como la lnea de

puntos, si la lnea es continua y el punto indivisible... Sera necesario que
los puntos estuviesen en continuidad o en contacto recproco, para que
resultase un continuo; y el mismo discurso se aplica a todos los
indivisibles... Ya que estn en continuidad las cosas entre las cuales no se
ha interpuesto ninguna intermedia del mismo gnero, pero entre los
puntos
hay siempre una lnea intermedia y entre los instantes un tiempo... Es

1/24
evidente que cada continuo es divisible en partes siempre divisibles... La
misma argumentacin conserva su valor para la magnitud, para el tiempo
y para el movimiento. (Aristteles, Fs., VI, 1, 231)

5. Entre los que disputan en torno al problema del criterio de la

verdad, algunos afirman su existencia, como los estoicos y otros; otros,
como Jeniades de Corinto y Jenfanes, lo niegan ... Para juzgar la
controversia en torno al criterio, nos es necesario poseer un criterio
reconocido por medio del cual podamos juzgarlo. Y para tener un criterio
reconocido antes es necesario resolver la controversia sobre el criterio. As,
cayendo el discurso en el dialele, se hace imposible la bsqueda del
criterio,
no concediendo nosotros que se acepte un criterio por hiptesis,
rechazando
hasta el infinito a quien quiera juzgar el criterio con otro criterio. Adems,
puesto que la demostracin exige un criterio, y el criterio una
demostracin
juzgada, as el discurso vuelve a caer en el dialele. (Sexto Emprico, Lin.
pirronianos, II, 18-20)

6. Tesis: La causalidad segn leyes naturales no es la nica de la que

pueden derivarse todos los fenmenos del mundo; para explicarlos es
preciso suponer, adems, una causalidad por libertad.
Demostracin: Supngase que no hay otra causalidad que la regida
por las leyes naturales; entonces todo cuanto sucede supone un estado
anterior al cual sigue ineluctablemente segn una regla. Ahora bien, el
estado anterior mismo debe ser algo que haya sucedido (que haya llegado a
ser en el tiempo, puesto que antes no era); porque si hubiera sido siempre,
su consecuencia no se habra originado, sino que habra sido siempre. Por
consiguiente, la causalidad de la causa, en virtud de la cual ocurre algo, es
ella misma algo ocurrido que a su vez supone, segn las leyes naturales, un
estado anterior y su causalidad, ste a su vez otro anterior y as
2
sucesivamente. Por lo tanto, si todo sucede segn meras leyes naturales,
nunca hay ms que un comienzo subalterno, nunca primero y, en
consecuencia, no hay en absoluto integridad en la serie por el lado de las
causas que provengan unas de otras. Ahora bien, la ley natural consiste
precisamente en que nada sucede sin una causa suficiente determinada a
priori. Por lo tanto, la proposicin de que toda causalidad slo es posible
segn leyes naturales, se contradice a s misma en su universalidad
ilimitada, y sta en consecuencia no puede considerarse como nica.
Por consiguiente, es preciso suponer una causalidad en virtud de la
cual suceda algo sin que su causa est determinada an por otra causa
precedente, segn leyes necesarias, esto es, una absoluta espontaneidad de
las causas, para comenzar por s una serie de fenmenos que se desarrolla
segn leyes naturales y, por consiguiente, una libertad trascendental sin la

2/24
cual est incompleta, aun en la marcha de la naturaleza, la sucesin de los
fenmenos del lado de las causas. (E. Kant, Crtica de la Razn Pura)

1.2. Mostrar la invalidez de los siguientes razonamientos

construyendo un contraejemplo para cada uno de ellos:
1. Si la temperatura supera los treinta grados, sube el consumo de
energa elctrica. Sube el consumo de energa elctrica. Por lo tanto, la
temperatura supera los treinta grados.

2. Si gan la lotera, soy rico. No gan la lotera. Por lo tanto, no soy

rico.

3. Todos los correntinos son argentinos. Algunos americanos son

argentinos. Por lo tanto, algunos americanos son correntinos.

4. Todo verdadero artista es sensible. Ningn hombre de negocios es un

verdadero artista. Por lo tanto, ningn hombre de negocios es sensible.

5. Todos los comunistas admiran a Marx. Algunos profesores admiran

a Marx. Por lo tanto, algunos profesores son comunistas.

6. Todo poltico que no cumple sus promesas es un mentiroso. Gmez es

un poltico. Por lo tanto, Gmez es un mentiroso.
3
7. Si Dios no existe, todo est permitido. Dios existe. Por lo tanto, no
todo est permitido.

8. Si hay seres inteligentes en otras galaxias y tienen una civilizacin

ms avanzada que la nuestra, han visitado la Tierra. Hay seres inteligentes
en otras galaxias. Por lo tanto, seres inteligentes de otras galaxias han
visitado la Tierra.

9. Dado cualquier ente, o bien ese ente es causado o bien no lo es. Por lo
tanto, dado cualquier ente, ese ente es causado o dado cualquier ente, ese
ente no es causado.

10. Si la enseanza de la religin en la escuelas es esencial para

mantener la salud moral de esta sociedad, entonces la tasa de criminalidad
aumentar en esta sociedad si se suprime la enseanza de religin en las
escuelas. Se ha suprimido la enseanza de la religin en las escuelas y la
tasa de criminalidad ha aumentado. Por lo tanto, la enseanza de la
religin en las escuelas es esencial para mantener la salud moral de esta
sociedad.

3/24
1.3. Explicar por qu los siguientes argumentos son falaces
e indicar qu tipo de falacia ejemplifican:
1. Los filsofos no han podido ofrecer una demostracin irrefutable de
la existencia de Dios. Por lo tanto, Dios no existe.

2. En general, las mujeres reciben salarios inferiores a los hombres por

igual trabajo. Por lo tanto, la ministra de medio ambiente recibe un salario
inferior al ministro de economa.

3. Los seres humanos decaen y mueren. Las sociedades estn

compuestas por seres humanos. Por lo tanto, las sociedades tambin
decaen y mueren.
4
4. Los que critican el psicoanlisis estn expresando resistencias
inconscientes a esta teora. Por lo tanto, sus crticas no son vlidas.

5. El consumo habitual de alcohol aumenta la probabilidad de sufrir un

cncer de hgado. Por lo tanto, el consumo habitual de alcohol causa el
cncer de hgado.

6. Aristteles, que era un filsofo genial, sostiene que el mundo es

eterno. Por lo tanto, el mundo es eterno.

7. Despus de tomar los medicamentos que le recet el mdico, Pedro se

cur. Es obvio que esos medicamentos fueron la causa de la recuperacin
de Pedro.

8. El acusado es un buen padre de familia, buen marido y buen

profesional. Por lo tanto, no ha cometido los crmenes horribles que se le
atribuyen.

9. Los argentinos consumen ms carne vacuna que los espaoles.

Nacha es argentina y Sarita espaola. Por lo tanto, Nacha consume ms
carne vacuna que Sarita.

10. La perfeccin de cada cosa se encuentra en el fin para el cual fue

creada. La muerte es el fin de la vida. Por lo tanto, la perfeccin de la vida
se encuentra en la muerte.

2. El Lenguaje de la Lgica
Proposicional
2.1. Subrayar en las siguientes oraciones las locuciones que

4/24
expresan las conectivas indicadas entre parntesis:
5
1. Platn no es empirista. (negacin)

2. No es verdad que Velzquez sea impresionista. (negacin)

3. Platn era griego y Foucault francs. (conjuncin)

4. Platn era griego, pero Foucault no. (conjuncin; negacin)

5. Aunque Foucault es profundo, todos lo comprenden. (conjuncin)

6. Vendr o llamar. (disyuncin)

7. No vendr, a menos que lo llams. (negacin; disyuncin)

8. Leer a Foucault, si encuentro algn libro suyo en oferta.

(condicional)

9. Si tienes ms de 18 aos y menos de 20, tienes 19. (conjuncin;

condicional)

10. Ser argentino es condicin suficiente para ser americano.

(condicional)

11. Ser argentino no es condicin necesaria para ser americano.

(negacin; condicional)

12. Este tringulo es equiltero si y slo si es equingulo. (bicondicional)

13. Que este nmero sea mltiplo de dos es condicin necesaria y

suficiente para que sea par. (bicondicional)

14. Ni Quine es idealista, ni Platn empirista. (negacin; conjuncin)

15. Si ni Foucault ni Derrida son filsofos analticos, hay por lo menos

dos filsofos franceses que no son analticos. (negacin; conjuncin;
condicional)
6
2.2. Transforme las siguientes expresiones en frmulas de la
lgica proposicional cuya conectiva principal sea un
condicional, utilizando parntesis cuando sea necesario:
1. p r q

2. p r q r

5/24
3. p q p

4. q s t

5. p r q r

2.3. Mostrar que las siguientes son frmulas bien formadas

de la lgica proposicional, construyendo la secuencia de
formacin de cada una de ellas:
1. (p p)

2. ((p q) p)

3. (((p p) r) r)

4. (((p q) r) r)

5. (((p q) r) ((p r) (q r)))

2.3. Formalizar las oraciones del ejercicio 2.1. en el

lenguaje de la lgica proposicional.
7

3. Lgica Proposicional: Semntica

3.1. Construir la tabla de verdad de las siguientes frmulas:
1. p p

2. (p q) p

3. ((p p) r) r

4. ((p q) r) r

5. ((p q) r) ((p r) (q r))

3.2. Simbolizar los siguientes enunciados y determinar

mediante tablas de verdad si las frmulas obtenidas son
tautologas, contradicciones o contingencias:

6/24
1. El certificado tiene validez, si est firmado por el director o el
vicedirector.

2. Si no es verdad que Bunge sea idealista o conductista, entonces no es

idealista y no es conductista.

3. Muero si no muero, y si muero no muero.

4. La inflacin aumentar, a menos que baje la emisin de moneda u

ocurra un milagro.
8
5. Si Buenos Aires es y no es la capital de la Argentina, entonces Roma
es la capital de Francia.

3.3. Justificar las siguientes afirmaciones:

1. Si un enunciado B es una consecuencia semntica de {A}, entonces el
condicional A B es tautolgico.

2. Si el condicional A B es tautolgico, entonces B es una

consecuencia semntica de {A}.

3. Si A es un enunciado tautolgico, entonces cualquier enunciado B es

una consecuencia semntica de {A}.

4. Si B es un enunciado tautolgico, entonces B es una consecuencia

semntica de {A}, para cualquier enunciado A.

5. Dado un conjunto de enunciados G={A1 , A2 , ..., An} , cada uno de

los Ai es una consecuencia semntica de G.

3.4. Determinar mediante tablas de verdad si las frmulas

de la lista A implican lgicamente a las frmulas
correspondientes de la lista B.
Lista A Lista B

pq p q

p p q

pq pq

pq (p q) r
9

7/24
pr (q r) ((p q) r)

3.5. Utilizar el mtodo del condicional asociado para

determinar si las siguientes formas argumentales son vlidas:

1. p p q

2. q p q

3. p q p q

4. p q (p r) (q r)

5. (p q) r (p r) (q r)

4. Lgica Proposicional: Sintaxis

4.1. Escribir las lneas que faltan en las derivaciones
siguientes:
a. _1. p q
_2. q r
_3. p
4. MP 1,3
5. MP 2,4
6. Prod 4,5

b. _1. p q
_2. (p q) t
10
3. Simp1 1
4. Ad1 3
5. MP 2,4

c. _1. p q
_2. q (r s)
_3. s t
4. Hiptesis
5. MP 1,4
6. MP 2,5

8/24
7. Simp2 6
8. MP 3,7
9. p t TD 4-8

d. _1. p q
_2. p s
_3. s t
4. Hiptesis
5. MP 1,4
6. Ad1 5
7. Hiptesis
8. MP 3,7
9. DN 8
10. Ad2 9
11. q t Cas 2, 4-6, 7-10

e. _1. (p q) (r s)
_2. q s
3. Hiptesis
4. Simp1 2
5. Prod 3,4
6. MP 1,5
7. Hiptesis
8. Simp2 2
9. MP 6,7
10. Prod 8,9
11. Abs 7-10
11
12. p r TD 3-11

4.2. Derivar la conclusin de las formas argumentales

siguientes utilizando las reglas bsicas de la lgica
proposicional:

1. p p

2. p p p

3. p p q

4. p q q p

9/24
5. p q (p r) (q r)

4.3. Formalizar los siguientes argumentos y derivar su

conclusin utilizando las reglas bsicas del clculo
proposicional:
1. Si Dios no existe, todo est permitido. Pero, o Dios existe o no existe.
Por lo tanto, o todo est permitido o Dios existe.

2. Si la neurosis obsesiva es hereditaria, entonces el nmero de

neurticos obsesivos con antecedentes familiares de esa dolencia ser
significativamente mayor que el de los neurticos obsesivos que no
presentan tales antecedentes. Sin embargo, no es as. Es necesario concluir
que la neurosis obsesiva no es hereditaria.

3. Si el rey de Argentina es calvo, entonces hay un rey de Argentina. Si

el rey de Argentina no es calvo, entonces hay un rey de Argentina. No hay
un rey de Argentina. Por lo tanto, el rey de Argentina es calvo si y slo si el
rey de Argentina no es calvo.
12
4. Si ests enfermo no necesitas un mdico, dado que o te curas o te
mueres. Si te curas no necesitas un mdico y si te mueres tampoco lo
necesitas.

5. Si el mal existe en este mundo y no se origina en las acciones de los

seres humanos, entonces Dios no puede o no quiere impedirlo. El mal
existe
en este mundo. Si Dios no puede impedir que haya mal en este mundo,
entonces no es omnipotente. Si Dios no quiere impedir la existencia del
mal,
entonces no es bondadoso. Pero Dios es omnipotente y bondadoso. Luego,
el
mal que existe en este mundo tiene su origen en las acciones de los seres
humanos.

4.4. Derivar la conclusin de las siguientes formas de argumento

utilizando: a) por lo menos una regla derivada
b) slo reglas bsicas

1. p (q r), (q r) s, p t t s

2. p q, q s p s

10/24
3. p q, (r q) s p s

4. p q, r (s p), q r s

5. p (q r), r s, q p s

6. p q, r p, q (s t) r t

7. (p q) s, p s

8. (p q) s, t s t p

9. p (q r), (q r) t, p s t u

10. p q, p (s r), q (s t) s
13

4.5. Demostrar las siguientes frmulas:

1. q (p q)

2. (p r) ((q r) ((p q) r))

3. (p (q r)) ((p q) (p r))

4. (p q) ((r s) ((p r) (q s)))

5. (p q) ((r (q s)) (r (p s)))

14

5. El Lenguaje de la Lgica de
Predicados
5.1. Subrayar en las siguientes oraciones las locuciones que
expresan predicados e indicar si stos son mondicos o
polidicos:
1. Marte es un planeta.

2. Platn es griego.

11/24
3. Platn no es empirista.

4. Platn fue discpulo de Scrates.

5. Platn era griego y Foucault francs.

6. Si la Tierra es un planeta, gira alrededor del Sol.

7. Juan o Pedro llamar a Mara.

8. Pedro admira a Quine y a Foucault,

9. Si Juan es hermano de Pedro, entonces Pedro es hermano de Juan.

10. Scrates fue maestro de Platn si y slo si Platn fue su discpulo.

5.2. Formalizar las oraciones del ejercicio 5.1.

5.3. Insertar parntesis en las frmulas siguientes de

manera que no aparezca en ellas ninguna variable libre:
15
1. Lx Px Qx

2. Lx (Px Qx) Rx

3. Vx (Px (Qx Rx)) (Lx Px Vx Qx Rx)

4. LxLy Pxy Pxy

5. Lx (Px Qx) Rx) (Px (Qx Rx))

5.4. Formalizar las siguientes oraciones:

1. Todo es mortal.

2. Nada es eterno.

3. No todo es eterno.

4. No hay crculos cuadrados.

5. Algunos admiran a Quine.

12/24
6. Algunos tringulos son equilteros.

7. Hay tringulos que no son equilteros.

8. Cualquier tringulo es un polgono.

9. Ningn dios es mortal.

10. Los tringulos equilteros son polgonos regulares.

11. Los perros y los gatos son animales domsticos.

12. Las aves nadan y vuelan.

13. Hay filsofos que son admirados por Pedro.

16
14. Hay filsofos que son admirados por todos los estudiantes.

15. Si algo falta, Juan ser culpado.

16. Todos los que aman sufren.

17. Ningn empirista acepta las tesis de Platn.

18. Algunos que admiran a Quine admiran tambin a Foucault.

19. El que hace infeliz a un nio hace infeliz a un ser humano.

20. Quien slo se ama a s mismo no ama a su prjimo.

6. Lgica de Predicados: Semntica

6.1. Dar una interpretacin que muestre que las siguientes
formas argumentales no son vlidas:

1. Lx (Px Qx) Vx (Px Qx)

2. Vx Px Vx Qx Vx (Px Qx)

3. VxVy Pxy VxPxx

4. Lx (Px Qx), Lx (Qx Rx) Vx (Px Rx)

13/24
5. LxVy Pxy VyLx Pxy

6.2. Indicar cuntos elementos debe tener, como mnimo, el

dominio de una interpretacin que haga verdaderas a las
17
siguientes frmulas y dar un ejemplo de una interpretacin
tal:
1. Pa Pb

2. Pa Pb Qa Qb Qc

3. Pa Pb Qa Qb Qc Pc Pd Qd

4. Pa Qa Ra Pb Qb Qc Pc

5. Lx Pxx LxLyLz ((Pxy Pyz) Pxz) LxVy Pxy

7. Lgica de Predicados: Sintaxis

7.1. Escribir las lneas que faltan en las derivaciones
siguientes:
a. _1. Vx(Px Qx)
2. Hiptesis
3. Simp1 2
4. IP 3
5. Simp2 2
6. IP 5
7. Prod 4,5
8. EP 1, 2-7

b. _1. Lx (Px Qx)

_2. Lx (Qx Rx)
3. EG 1
4. EG 2
5. Sil 3,4
6. IG 5
18
c. _1. Lx Px Lx Qx
2. Simp1 1

14/24
3. EG 2
4. Simp2 1
5. EG 4
6. Prod 3,5
7. IG 6

d. _1. Vx (Px Qx)

2. Hiptesis
3. Hiptesis
4. IP 3
5. Ad1 4
6. Hiptesis
7. IP 6
8. Ad2 7
9. Cas 2, 3-5, 6-8
10. EP 1, 2-9

e. _1. VxVy Pxy

2. Hiptesis
3. Hiptesis
4. IP 3
5. IP 4
6. EP 2, 3-5
7. EP 1, 2-6

7.2. Formalizar los argumentos siguientes y derivar sus

conclusiones:
1. Algunos nios no son molestos. Los nios tambin son seres
humanos. Luego, algunos seres humanos no son molestos.

2. Todos los amigos de Juan son amigos de Pedro. Ana es amiga de de

Juan. Por lo tanto, Ana es amiga de Pedro.
19
3. Ningn nio es un ser encantador. Pero, los hijos de Pedro son nios.
Por lo tanto, los hijos de Pedro no son seres encantadores.

4. Hay docentes que son mujeres y madres. Los docentes ejercen un

sacerdocio. Por lo tanto, hay madres que ejercen un sacerdocio.

5. El hombre destruye lo que ama. El hombre ama lo que no entiende.

Luego, el hombre destruye lo que no entiende.

6. Todo aquel que chupa la sangre a otra persona es un vampiro. Los

vampiros no existen. Luego, nadie chupa la sangre a otra persona.

15/24
7. Juan se ama a s mismo. Por lo tanto, no es cierto que nadie ame a
Juan.

8. Los nios tambin son seres humanos. Por lo tanto, el que hace
infeliz a un nio hace infeliz a un ser humano.

9. Juan no respeta a nadie que no se respete a s mismo. Juan respeta a

Mara. Por lo tanto, Mara se respeta a s misma.

10. Tony le corta el pelo a todos los habitantes de Buenos Aires que no
se cortan el pelo a s mismos y slo a ellos. Tony es habitante de Buenos
Aires. Por lo tanto, Tony no le corta el pelo a nadie.

7.3. Derivar la conclusin de las siguientes formas de

argumentos:

1. VxVy Pxy VyVx Pxy

2. Lx (Px Qx), Qa VxPx

3. Lx Px, Pa Lx Qx Vx Qx

4. Lx (Px Rx), Vx (Px Qx) Vx Rx

20
5. Lx ((Px Qx) Rx), Vx (Qx Sx) Vx (Px Rx)

6. Lx (Px ( Qx Rx)), Vx (Sx Rx), Lx (Qx Tx)

Vx (Px Tx)

7. Vx Pxx VxVy Pxy

8. LxLy (Px Qy) Vx Px Ly Qy

9. VxVy (Px Qy) Vx Px Ly Qy

10. LxLy (Pxy Qxy), LxLy (Pxy Rxy), LxLy (Rxy Pxy)
L xLy Qxy

7.4. Demostrar las siguientes frmulas:

16/24
1. Lx (Px Qx) Vx (Px Qx)

2. Lx ((Px Qx) Rx) (Vx Px (Lx Qx Vx Rx))

3. Vx (Px ( Qx Rx)) (Lx Px Vx (Qx Rx))

4. LxVy Pxy L yVx Pxy

5. Lx (Px Qx) (LxLy (Px Rxy) (VxVy(Qx Rxy)

Vx Px))
21

17/24
Guas
Gua 1: Formalizacin en Lgica Proposicional
Negacin A
No A
No es verdad que A
No se da que A
Es falso que A
etc.

Conjuncin A B
AyB
A, pero B
A, aunque B
A, sin embargo B
A, a pesar que B
etc.

Disyuncin incluyente A B
O A o B, o ambas cosas
A y/o B
A a menos que B
A a no ser que B
etc.

Condicional material A B
Si A, entonces B
Si A, B
B, si A
A es condicin suficiente para B
B es condicin necesaria para A
22

A slo si B
No A a menos que B
No A a no ser que B
etc.
Bicondicional material A B
A si y slo si B
A es condicin necesaria y suficiente para B
etc.

18/24
Gua 2: Lgica Proposicional: Semntica
Valuacin: Una valuacin del conjunto de todas las frmulas de la
lgica proposicional es una funcin que asigna a cada frmula de uno de
los dos valores de verdad v (verdadero), f (falso).

Valuacin booleana: Una valuacin booleana es una valuacin que

cumple
las siguientes condiciones:

C1. La frmula A recibe el valor v si A recibe el valor f, y recibe el valor

de f si A recibe el valor v.

C2. La frmula A B recibe el valor v si tanto A como B reciben el valor v,

y f en otro caso.

C3. La frmula A B recibe el valor v si al menos una de las dos frmulas

A, B recibe el valor v, y f en otro caso.

C4. La frmula A B recibe el valor f si A recibe el valor v y B recibe el

valor f, y v en otro caso.

C5. La frmula A B recibe el valor v si A y B reciben el mismo valor, y f

en otro caso.

Tautologa-Contradiccin-Consistencia: Una frmula A es una

tautologa
si y slo si toda valuacin booleana le asigna el valor v. Una frmula A es
una contradiccin si y slo si toda valuacin booleana le asigna el valor f.
Una frmula A es una consistencia si y slo si por lo menos una valuacin
booleana le asigna el valor v.
23
Consecuencia semntica-Implicacin lgica: Un conjunto de frmulas G
de la lgica proposicional implica lgicamente a una frmula F, o F es una
consecuencia semntica de G , en smbolos, G F, si toda valuacin
booleana que asigne el valor v a todos los elementos de G asigna el valor v a
F.

Gua 3: Derivaciones en Lgica Proposicional

Derivacin: Una derivacin de una frmula F a partir de un conjunto
G de

19/24
premisas en un sistema de deduccin natural para la lgica proposicional
es
una secuencia finita de frmulas tal que a) cada uno de los miembros de
esa
secuencia es, o bien un miembro de G, o bien una hiptesis provisional, o
bien una frmula que se obtiene de una o ms lneas anteriores de la
secuencia mediante la aplicacin de una regla de inferencia, y b) F es la
ltima lnea de esa secuencia.

Derivabilidad: Una frmula F de la lgica proposicional es derivable de

un
conjunto de frmulas G (en smbolos, G F) si y slo si existe una
derivacin de F a partir de G.

Teorema: Una frmula F es un teorema de la lgica proposicional si y slo

si es derivable a partir de un conjunto vaco de premisas. En smbolos, F.

Estrategias para construir derivaciones en lgica proposicional:

1. Para derivar una frmula de la forma A B, suponga A, derive B y

aplique la regla de introduccin del condicional.

2. Para derivar una frmula de la forma A B, derive A, derive B y

aplique la regla de introduccin de la conjuncin.

3. Para derivar una frmula de la forma A B, derive A o derive B y

aplique la regla de introduccin de la disyuncin.

4. Para derivar una frmula de la forma A B, derive A B, derive

B A y aplique la regla de introduccin del bicondicional.
24

5. Para derivar una frmula de la forma A, si no es posible una

derivacin directa, suponga A, derive una contradiccin B B, y aplique
la regla de introduccin de la negacin.

20/24
Gua 4: Formalizacin en Lgica de Predicados
a) Formalizacin en lgica de predicados mondicos

i. Proposiciones singulares:
Scrates es griego. Pa
Si Scrates es griego, entonces Scrates es europeo. Pa Qa

ii. Proposiciones generales:

a) Cuantificacin de un predicado:
UA Todo es mortal. Lx Px
EA Algo es mortal. Vx Px
UN Nada es mortal. Lx Px
EN Algo no es mortal. Vx Px

b) Cuantificacin simultnea de dos predicados (proposiciones categricas):

A Todo hombre es mortal. Lx (Px Qx)
I Algn hombre es mortal. Vx (Px Qx)
E Ningn hombre es mortal. Lx (Px Qx)
O Algn hombre no es mortal. Vx (Px Qx)

c) Proposiciones generales con ms de un cuantificador:

Si todos los hombres son mortales, entonces algn griego es mortal.
Lx (Px Qx) Vx (Rx Qx)

b) Formalizacin en lgica de predicados polidicos:

i. Proposiciones singulares:
Scrates es el maestro de Platn. Pab
Riobamba est entre Callao y Ayacucho. Pabc
25
ii. Proposiciones generales:

a) Cuantificacin de una relacin:

Todo se relaciona con todo. LxLy Pxy
Algo se relaciona con todo. VxLy Pxy
Todo se relaciona con algo. LxVy Pxy
Algo se relaciona con algo. VxVy Pxy
Nada se relaciona con nada. LxLy Pxy
Algo no se relaciona con nada. VxLy Pxy
Cmo se interpretan las siguientes frmulas? LxVy Pxy ; VxVy Pxy

b) Proposiciones con cuantificacin simultnea de dos o ms relaciones:

21/24
Para todo par de cosas se da que si la primera es mayor que la segunda,
la segunda es menor que la primera. LxLy (Pxy Qyx)

iii. Proposiciones mixtas (singulares-generales)

Scrates no escribi nada. Lx Pax
Scrates ense algo. Vx Pax
Algo mat a Pedro. Vx Pxa

Ejemplos:

1) Todo satlite gira en torno a algn planeta. Lx (Px Vy(Qy Rxy))

2) Todos admiran a Scrates.=Scrates es admirado por todos. Lx Pxa

3) Los alumnos que aprueban Lgica son inteligentes.

Lx ((Px Rxa) Qx)

4) Todos los que son vecinos se odian. LxLy (Pxy (Qxy Qyx))

5) Slo los ladrones admiran a los ladrones.=Todos los que admiran a los
ladrones son ladrones. LxLy ((Pxy Qy) Qx)

Gua 5: Uso de las Reglas Bsicas de la Lgica

de Predicados
26
1) Regla de introduccin del cuantificador existencial (Generalizacin
existencial) (IP)

Pa
_______
Vx Px

donde x es cualquier variable, a es cualquier constante, Pa es una

expresin
que contiene una o ms apariciones de a, Px el resultado de reemplazar las
apariciones de a en Pa por apariciones de x.

2) Regla de eliminacin del cuantificador universal (Instanciacin

universal) (EG)

Lx Px
_______
Pa

22/24
3) Regla de eliminacin del cuantificador existencial (Instanciacin
existencial) (EP)

Vx Px
Pa
:
A
_______
A

RESTRICCIONES: (i) La constante a no debe aparecer en Vx Px. (ii) La

constante a no debe aparecer en A. (iii) La constante a no debe aparecer en
ningn supuesto previo no descargado del cual dependa A.

Si no se respeta la restriccin (i) pueden obtenerse pseudo-demostraciones

como la siguiente:

-1. Vx Pxa Premisa

2. Paa Hiptesis de EP
3. Vx Pxx IP, 2
27
4. Vx Pxx EP, 1, 2-3

Si se interpreta 1 como "Alguien ama a Mara", esta pseudo-demostracin

autoriza a inferir de esa premisa la conclusin "Alguien se ama a s
mismo" (!!!).

Si no se respeta la restriccin (ii) pueden obtenerse pseudo-demostraciones

como la siguiente:

-1. VxVy Pxy Premisa

2. Vy Pay Hiptesis de EP
3. Vy Pay ID, 2
4. Vy Pay EP,1, 2-3
5. LxVy Pxy IG, 4

Si se interpreta 1 como "Alguien ama a alguien", esta pseudo-

demostracin
autoriza a inferir de esa premisa la conclusin "Todos aman a alguien"
(!!!).

Si no se respeta la restriccin (iii) pueden obtenerse pseudo-

demostraciones
como la siguiente:

23/24
-1. Vx Px Premisa
-2. Vx Qx Premisa
3. Pa Hiptesis de EP
4. Qa Hiptesis de EP
5. Pa Qa IC, 3, 4
6. Vx (Px Qx) IP, 5
7. Vx (Px Qx) EP, 2, 4-6
8. Vx (Px Qx) EP, 1, 3-7

Busque una interpretacin que haga verdaderas a las premisas y falsa a la

conclusin de este argumento.

4) Regla de introduccin del cuantificador universal (Generalizacin

universal) (IG)
28
Pa
_______
Lx Px

RESTRICCIN: La constante a no debe aparecer en ningn supuesto no

cancelado del que dependa Pa.

Si no se respeta esta restriccin pueden obtenerse pseudo-demostraciones

como la siguiente:

1. Vx Pxa Premisa
2. Pba Hiptesis de EP
3. Vx Pxa IP, 2
4. LyVx Pxy IG, 3
5. LyVx Pxy EP, 1, 2-4
29

24/24