Lógica proposicional

1. Lógica proposicional 4. Conectivos lógicos

Es una parte de la lógica que estudia las Son elementos que sirven de enlace entre las
proposiciones y la relación existente entre ellas, así proposiciones, para formar otra, denominada a veces
como la función que tienen los conectivos lógicos. proposición molecular.

Ejemplos:
2. Proposición lógica
a) Lima es la capital del Perú y Barcelona es la capital de España
Es aquella expresión u oración coherente que puede
p q
calificarse o bien como verdadero (V) o bien como
falso (F) y sin ambigüedad. Las proposiciones CONECTIVO LÓGICO
lógicas generalmente se denotan con letras
minúsculas, tales
como: p, q, r, s, ..., b) 4 es un número impar o 15 es un número primo

etc. p q

Ejemplo: Valor veritativo CONECTIVO LÓGICO

p : 5+4=8 (F)
q : Todo hombre es mortal. (V) Los conectivos lógicos empleados son:
r : El Libertador Simón Bolívar nació en Lima.
(F) s : 14 es un número primo. 4.1 Disyunción (se simboliza: “", se lee: "o")
(F)
Dos proposiciones se pueden enlazar por medio
Nota: Las preguntas, mandatos, exclamaciones, de la palabra "o", para formar una nueva
deseos, etc. NO son proposiciones lógicas ya que no proposición llamada disyunción de ambas. La
se pueden calificar como verdaderas (V) o falsas (F). disyunción de las proposiciones "p o q" se denota:
p  q.
Ejemplo:
p q p v q
¿Cómo te llamas? p v q es falsa (F)
Buenos días únicamente cuando
V V V
¡Haz tu tarea! "p" y "q" son ambas
V F V
falsas, en los demás
F V V
casos es verdadera.
F F F
3. Negación de una proposición
Ejemplo:
Consiste en cambiar el valor de verdad que tiene una
proposición. Si la proposición es "p", su negación se p: 4 es menor que 7. (V)
denota por "~p" y se lee: "no p" o "es falso que p". q: 4 es igual a 7. (F)
Las diferentes posibilidades las podemos
esquematizar en una tabla, denominada Tabla de La disyunción de ambas será:
verdad.
“4 es menor que 7” o “4 es igual a 7”

p ~p
simbólicamente: p v q
V F
F V Su valor de verdad (según la
tabla): V  F =
Ejemplo: V

p: 6 es un número par. (V) 4.2 Conjunción (se simboliza: "", se lee: "y")
~p: 6 no es un número par. (F)
Dos proposiciones se pueden enlazar por medio
de la palabra "y" para formar una nueva
proposición llamada conjunción de ambos. La
conjunción de las proposiciones "p y q" se denota:
p  q.
4
ARITMETICA AÑO
p q 4.4 Bicondicional (simbolizada por: "", se lee: "si y
p  q es verdadera
sólo si")
V V (V ) ú n i c a m e n t
V F e cuando "p" y "q" Es aquel conectivo que al enlazar "p" con "q" se
F V son ambas denota "p  q" y se lee: "p si y sólo si q".
verdaderas.
F F
 p q p  q
p  q es verdadera
V V V (V ) ú n i c a m e n t
Ejemplo:
e cuando “p” y
p: 4 es menor que 7. (V) V F F
“q” tienen el mismo
q: 4 es igual a 7. (F) F V F valor de verdad.
F F V
La conjunción de ambas
será: Ejemplo:
“4 es menor que 7” y “4 es igual a 7” p: 4 es menor que 7. (V)
q: 4 es igual a 7. (F)
simbólicamente: p q
Su valor de verdad: V F= La bicondicional de ambas será:
F [Según la tabla] “4 es menor que 7” si y sólo si “4 es igual a 7”
simbólicamente: p  q
Nota: Las palabras “sin embargo”, “pero”,
“además”, “también”, “incluso”, “no obstante”, Su valor de verdad: V  F = F
“aunque”, “así mismo”, “tanto... como”, etc, [Según la tabla]
equivalen al conectivo lógico “y”.
Nota: las palabras “cuando y sólo cuando”,
4.3 Condicional (se simboliza por: "", se lee: "si “entonces y sólo entonces”, etc, equivalen al
...entonces...") conectivo lógico “si y sólo si”.

Muchas proposiciones, especialmente

matemáticas, son de la forma "si p entonces q". 4.5 (Se simboliza: " ", se lee: “o ... o ...”)
Tales proposiciones se denominan condicionales y
se les denota por: p  q. p q

A la proposición "p" se le denomina "antecedente" V V p q es verdadera

y a "q" "consecuente". V F (V ) ú n i c a m e n
F V t e cuando “p” y
F F “q” t i e n e n d i f
p q p  q e r e n t e valor de
p  q es falsa (F)
únicamente cuando
verdad.
V V V “p” es verdadera y “q”
V F F es falsa, en los demás Ejemplo:
F V V casos es verdadera. p: Marco juega (V)
F F V q: Marco estudia (F)

Ejemplo: La disyunción exclusiva de ambos será:

p: 4 es menor que 7. (V) o bien Marco juega o bien estudia
q: 4 es igual a 7. (F)
simbólicamente: p  q
La condicional de ambas será: Su valor de verdad: V  F = V
[Según la tabla]
Si: “4 es menor que 7” entonces “4 es igual a 7”
simbólicamente: p
 q
5. Proposiciones compuestas
Su valor de verdad: V  F = F
[Según la tabla] Utilizando conectivos lógicos se puede combinar
cualquier número finito de proposiciones; para
Nota: Las palabras “por consiguiente”, “de modo obtener otras, denominados proposiciones
que”, “por lo tanto”, “en consecuencia”, “luego”, compuestas.
“dado que”, equivalen al conectivo condicional.
Ejemplos:

i. (p  q)  ( p  s)
ii. (p  q)  ( t  r)
6. Tautología, Contradicción y 7. Implicación lógica
Contingencia
Se denomina así a toda condicional "p  q" que sea
6.1 Tautología una tautología y en tal caso la condicional se denota
por "p  q".
Es toda proposición cuyo valor de verdad es
siempre verdadero (V), para cualquier 7.1 Equivalencia
combinación de los valores de verdad de sus lógica
componentes, se le denota por "V".
Se denomina así a toda bicondicional "p  q" que
Ejemplo: sea una tautología y en tal caso la bicondicional
se denota por "p  q".
La proposición: "p  (p  q)" es una tautología, tal
como se puede comprobar en su tabla de verdad.
 p q p (p v q) 8. Álgebra de proposiciones
V V V V Son equivalencias lógicas que nos permiten
V F V V simplificar un problema y expresarlo en forma más
F V F V sencilla. Las demostraciones se hacen construyendo
F F F F la tabla de verdad en cada caso.

Entonces: "p  (p  q)" = V Principales leyes:

6.2 Contradicción 8.1 Ley de Idempotencia

Es toda proposición cuyo valor de verdad es ppp

siempre falso (F), para cualquier combinación de ppp
los valores de verdad de sus componentes. Se le
denota por “F”. 8.2 Ley Conmutativa

Ejemplo: pqqpp
qqp
La proposición: "(p  q)  ~q" es una contradicción,
tal como se puede comprobar en su tabla de 8.3 Ley Asociativa
verdad.
p q (p q)q (p  q)  r  p  (q  r) (p
 q)  r  p  (q  r)
V V V F F
V F F F V 8.4 Ley Distributiva
F V F F F
F F F F V p  (q  r)  (p  q)  (p  r)
p  (q  r)  (p  q)  (p  r)
Entonces: "(p  q)  ~q" = F
8.5 Ley de la Doble Negación
6.3 Contingencia
~ (~p)  p
Es toda proposición lógica cuyo valor de verdad
tiene al menos un verdadero (V) y un falso (F). 8.6 Leyes de Identidad

Ejemplo: p  V  V; p  F  p p
 V  p; p  F  F
La proposición "(p  q)  ~p" es una contingencia
tal como se puede comprobar en su tabla de 8.7 Leyes del Complemento
verdad.
p q (p q)p p ~p  V
p  ~p  F
V V V F F
V F V F F 8.8 Ley del Condicional
F V V V V
F F F V V p  q  ~p  q
 8.9 Ley del Bicondicional 6. Construir la tabla de verdad de las siguientes
fórmulas, indicando si se trata de una tautología,
p  q  (p  q)  (q  p) contradicción o contingencia:
p  q  (p  q)  (~p  ~q)
a) (r  q)  r
8.10 Ley de Absorción b) (p  q)  p
c) (r  q)  ( p  r)
p (p q)  p d) (p  m)  ( p  m)
p (p  q)  p
p  (~p  q)  p q p
(~p  q)  p  q Problemas para la clase

8.11 Leyes de Morgan Bloque I

~(p  q) = ~p  ~q 1. De las siguientes expresiones, ¿cuáles son

~(p  q)  ~p  ~q proposiciones lógicas:

Ejercicios I. Colombia es un país

sudamericano. II. 13 es un número
1. ¿Cuál de los siguientes enunciados no es una primo.
proposición lógica? III. Me siento bien.
IV. ¿Cómo
a) Todo hombre es inmortal. llegaste?
b) Cali es la capital de Colombia.
c) Perú clasificará al mundial 2006 de a) Sólo II b) I y II c) Sólo III
fútbol. d) Muchas felicidades. d) Sólo I e) I y III
e) Viva el Perú.
f) 7 es un número primo. 2. Dadas las premisas:

2. Los valores de verdad de las siguientes p : Luis es doctor.

q : Carlos es abogado.
proposiciones: I. (2 + 5 = 7)  (3 - 1 = 4) r : Pedro es ingeniero.
II. (3 + 5 = 8)  (4 + 2 = 7)
III. (4 - 0 = 0)  (6 - 4  1) Cuál será la expresión simbólica del enunciado:
IV. (5 + 4  9)  (2 + 5 = 8)
“Si Carlos es abogado y no es cierto que Luis es
Son respectivamente: doctor, entonces Luis no es doctor o Pedro es
ingeniero”.
Rpta.: ......
a) (q  ~ p)  (~ p  r)
3. Mediante una tabla de verdad comprobar las b) (q  ~ p)  (p  r)
siguientes equivalencias lógicas: c) (q  ~ p)  (~ p  r)
d) (q  ~ p)  (p  r)
a) p  q  (p  q)  ( p  q) e) N.A.
b) (p  q)  p  q
c) p  q  p q 3. Dadas las proposiciones

4. Si los valores veritativos de "p", "q" y "r" son V, F y V compuestas: I. (3 . 0 = 3)  (4 + 0

respectivamente, hallar el valor de verdad de las
siguientes proposiciones: = 4)
II. (1 < -1)  (5  2 < 2,5)
a) p  r b) q  q III. (20 = 2)  (4 + 5  9)
c) q  (r  p) d) r  (p  q) IV. (8 . 0 = 0)  (7 . 1 = 7)

5. Si los valores veritativos de "m", "t" y "s", son F, V y Hallar sus valores de verdad.
V respectivamente, hallar el valor de verdad de cada
una de las siguientes proposiciones: a) VFFF b) VFVV c) VVFF
d) FFFV e) VFFV
a) m  t b) m  s
c) (t  s)  m d) (s  m)  (t  m) 4. Dadas las proposiciones lógicas:

p : 12 es un número primo.
q : 3 es un número racional.
r : 16 es un cuadrado perfecto.
 Hallar los valores de verdad de: a) Tautología b)
Contingencia c) Contradicción d)
I. ( ~ p  q)  (r  p) II. Equipotencia e) Equivalencia
~ (p  q)  (q  ~ r)
Bloque II
a) VV b) VF c) FF
d) FV e) Faltan Datos 1. ¿Cuáles de las siguientes proposiciones son
verdaderas?
5. Si la proposición compuesta:
(~p  r)  q I. (3 + 7  10)  (4 . 0 = 4)
es falsa, hallar los valores de verdad de “p”, “q” y “r” II. (12 + 5 < 15)  (5 > -10)
respectivamente. III. (7 . 1 = 7)  (12  9 + 3)

a) FFV b) FFF c) VVF a) I y II b) II y III c) Sólo I

d) VVV e) FVF d) Sólo II e) Sólo III

6. Si la siguiente proposición: 2. Construir la tabla de verdad de la siguiente

(~p  r)  (p  s) proposición compuesta:
es falsa, hallar el valor de verdad de: (~p  q)  (p  q)
y dar el resultado.
I. (p  ~q)  r
II. (q  ~r)  (s  p) a) FFVV b) FVVV c) FVVF d) VVVF e) VVFF
 ~q)
el número de valores verdaderos en el resultado es:
7. Si la siguiente proposición:
(~q  p)  (~p r) a) 0 b) 1 c) 2
es verdadera, hallar el valor de: d) 3 e) 4

I. (q  ~r)  p 4. Sabiendo que:

II. (~p  ~q)  (p  r) (r  q)  ~p
es falsa, hallar los valores de verdad de:
a) VV b) VF c) FV
d) FF e) Faltan datos I. (p  r)  (~q  t)
II. ~(~p  q)  (r  q)
8. Construir la tabla de verdad de:
(~p  q) (p ~q) a) VV b) VF c) FV
e indicar de qué se trata. d) FF e) Faltan datos

a) tautología b) contradicción 5. Si la negación de:

c) contingencia d) composición ~p  (~q  r)
e) equipotencia es verdadera, hallar las proposiciones
verdaderas.
9. Construir la tabla de verdad de:
(p ~q) (~p q) I. p  q, es verdadero.
luego indicar cuál de las proposiciones siguientes es II. ~q  r, es falsa.
verdadera. III. “q” puede ser
verdadero.
I. Es una contingencia.
II. Es una a) Sólo I b) Sólo II c) I y
contradicción. II
III. Hay tres valores de verdad. d) I y III e) II y
III
a) Sólo I b) Sólo II c) I y II
d) I y III e) Sólo III 6. ¿Cuáles de las siguientes proposiciones son
lógicamente equivalentes?
10.La siguiente proposición compuesta:
~(q  p)  (p ~q) I. ~p  ~q
es una: II. ~p  q
III. p  q

a) I y II b) I y III c) II y
III
d) Todas e)
Ninguna
7. La siguiente proposición compuesta: e) I. (r  ~p)  q
~(p  ~q)  (p  q) II. (p  ~r)
 es una: II. p  ~r II. p  r

a) tautología b)
contingencia c) contradicción d)
equivalencia e) faltan datos

8. Si: “p” = todos los hombres son inmortales; y la

proposición:
[(q  ~p)  (s  ~q)] (r  ~p)
es falsa. Hallar:

I. (p  ~q)  (r  q)
II. ~(q  ~p)  ~(p  ~r)

a) VV b) VF c) FV
d) VV e) Faltan datos

9. Sabiendo que la proposición “p” es verdadera, ¿en

cuál de los siguientes casos es suficiente dicha
información para determinar el valor de las
proposiciones?

I. p  ~q
II. (~q  p) ~r
III. (~p  q)  r

a) Sólo I b) Sólo II c) Sólo

III
d) I y II e) II y
III

10.Si la proposición compuesta:

(p  q)  (~q  ~r)
es falsa. Hallar el valor de verdad
de:

I. ~(p  ~q)  (~r  q) II.

(~p  r)  ~(q  p)

a) VV b) VF c) FV
d) FF e) Faltan datos

Bloque III

1. Dadas las proposiciones:

p : Luis es abogado.
q : Carlos es biólogo.
r : Juan es
administrador.

¿Cuál es la expresión simbólica de los siguientes

enunciados?

I. Si Juan es administrador y Luis no es abogado

entonces Carlos no es biólogo.
II. Luis es abogado pero Juan no es
administrador.

a) I. (r  ~p)  q b) I. (r  ~p)  ~q
II. p  r II. p  ~ r
c) I. r  (~p  q) d) I. (r  ~p)  ~q
2. De las siguientes proposiciones

compuestas: I. Si: 5 + 3 = 7 entonces 8

< 7.
II. 9 es mayor que 5 ó 4 es menor que 3.
III. 25 = 5, sin embargo -42 =
16. IV. 3 < 4 si y sólo si 13 + 6 < 5
+ 6.

Indicar los valores de verdad

respectivamente. a) V V V V b) V V V F

c) F V F V
d) F V V V e) V V F F

3. Sabiendo que: (~r  q)  p es falso, hallar los valores

de verdad de:

I. (~q  p)  (~r  q)
II. (p  ~q)  (~p  r)

a) FF b) FV c) VF
d) VV e) Faltan datos

4. Sabiendo que:

(p  q) ~r; es falsa.
(s  p)  r; es verdadera.

¿Cuáles de las afirmaciones son

verdaderas? I. ~(p  s) es verdadera.

II. s  q es falsa.
III. ~s es verdadera.

a) I y II b) I y III c) II y III
d) Todos e) Sólo una de ellas

5. La proposición: (p  q)  (r  s) es verdadera, teniendo

“r” y “s” valores de verdad opuestos. Hallar los
valores de verdad de:

I. (~p  ~q)  (r  s)
II. [ ~(p  q)  (r  s)]  (~p  q)

a) VV b) VF c) FV
d) FF e) Faltan datos

6. Simplificar:
[(~p  q)  r]  (~q  r)

a) ~q b) ~q  r c) q  r
d) q  ~r e) q p

7. De la falsedad de la proposición:
(p  ~ q) (~r  s)
se deduce los valores de verdad de:
 I. (~ p  ~q)  ~q a) [(r  ~p)  q]  (q  ~r)
II. (~r  q)  [(~q  r)  s] b) [(r  ~p)  q]  (q  ~r)
III. (p  q)  [(p  q)  ~q] c) [(r  ~p)  ~q]  (q  ~r)
d) [(r  ~p)  q]  (q  ~r)
a) VFV b) VVF c) FVF e) [(r  ~p)  q]  (q  ~r)
d) FFV e) FFF
2. Si la proposición compuesta:
8. Si la proposición: (p  ~q)  ~t
(p  ~q)  (p  r) es falsa, hallar los valores de verdad de “p”, “q” y “t”
es falsa. ¿Cuál de las siguientes proposiciones son respectivamente.
verdaderas?
a) VFF b) VVF c) FVF
I. p  q es falsa. d) VFV e) FFV
II. r  q es verdadera.
III. ~q  p es verdadera. 3. Al construir la tabla de verdad de:
(p  ~q)  (~p  ~q)
a) I y II b) I y III c) II y el número de valores verdaderos en el resultado
III es:
d) Todas e)
Ninguna a) 1 b) 2 c) 3
d) 4 e) 0
9. La siguiente proposición:
~(p  ~q)  (q  ~p) 4. Si “p” es una proposición falsa, ¿a cuáles de las
es una: siguientes proposiciones compuestas se puede hallar
su valor?
a) tautología b)
contradicción c) contingencia d) I. (p  ~q)  r
equipotencia e) inducción II. ~p  (q  ~r)
III. (p  q)  ~r
10.Se define el conectivo “#” por:
p # q = ~p  q a) Sólo I b) Sólo II c) Sólo
Hallar el equivalente III
de: d) I y II e) I y
(p # ~q) # (q # III
~p)
5. Dado el conector lógico “&”, cuya tabla es:
a) ~p  q b) p  ~q c) ~q  p
d) p  q e) tautología
 p q p&q
V V V
Autoevaluación V F V
F V F
1. Si tenemos las proposiciones: F F V

p: Luis estudia construir la tabla de verdad de:

[p & (q & ~p)] & q
inglés
e indicar de que se trata.
q: Luis trabaja por las tardes
r: Luis es profesor de Física
a) tautología b) contradicción
c) contingencia d) equivalencia
simbolizar:
e) negación
“Luis es profesor de Física y no estudia inglés, por lo
tanto trabaja por las tardes; sin embargo trabajar
por las tardes es condición suficiente y necesaria
para no ser profesor de Física”.