LÓGICA PROPOSICIONAL

INTRODUCCIÓN CLASES DE PROPOSICIONES:

La lógica estudia la forma de razonamiento. Es una discipli- 1. Proposición Simple: Son proposiciones que no
na que se utiliza para determinar si un argumento es válido, tienen conjunciones gramaticales ni adverbio de
tiene aplicación en todos los campos del saber; en la filoso- negación.
fía, para determinar si un razonamiento es válido o no, ya Ejemplo:
que una frase puede tener diferentes interpretaciones; sin * Cincuenta es múltiplo de diez.
embargo la lógica permite saber el significado correcto. Los
matemáticos usan la lógica, para demostrar teoremas e infe- 2. Proposición Compuesta: Formada por dos o más
rir resultados que puedan ser aplicados en investigaciones . proposiciones simples unidas por conectivos lógicos o
En la computación, para revisar programas y crear sus por el adverbio de negación.
algoritmos, es utilizada en el diseño de computadoras. Exis- Ejemplo:
ten circuitos integrados que realizan operaciones lógicas con * 29 es un número primo y 5 es impar.
los bits, gracias a estos se ha desarrollado las telecomunica-
ciones (telefonía móvil, internet, ...) CONECTIVOS LÓGICOS: Símbolos que enlazan dos o
más proposiciones simples para formar una proposición
compuesta.
ENUNCIADO: Es cualquier frase u oración que expresa
Los conectores lógicos que usaremos son :
una idea.
OPERACIÓN
SÍMBOLO SIGNIFICADO
PROPOSICIÓN: Son oraciones aseverativas que se pue- LÓGICA
den calificar como verdaderas o falsas. Se representan con ~ Negación No p
las letras minúsculas del abecedario: p ; q ; r ; s.  Conjunción pyq
 Disyunción poq
Ejemplo:  Condicional Si p, entonces q
* Túpac Amaru murió decapitado.  Bicondicional p si y sólo si q
* 9 < 10 Disyunción
 "o ........ o ........"
* 45 = 3  2 Exclusiva

ENUNCIADO ABIERTO: Son enunciados que pueden OBS: La negación es un conector monádico, afecta sola-
tomar cualquiera de los 2 valores de verdad. mente a una proposición.

Ejemplo: OPERACIONES LÓGICAS Y TABLAS DE VERDAD

Si : P(x ) : x  6 La validez de una proposición compuesta depende de los

valores de verdad de las proposiciones simples que la com-
Se cumple que:
ponen y se determina mediante una tabla de verdad.
P(9) : 9  6 es verdadero
P(2) : 2  6 es falso 1. Conjunción: Vincula dos proposiciones mediante el
conectivo lógico "y".
El valor de verdad de P(x) depende del valor de x, también,
Tabla de Verdad
se le conoce como función proposicional.
p q p  q
V V V
V F F
F V F
F F F
2. Disyunción: Vincula dos proposiciones mediante el IMPORTANTE:
conectivo lógico "o".
* Cuando los valores del operador principal son todos
Tabla de Verdad
verdaderos se dice que el esquema molecular es
p q p  q tautológico.
V V V
V F V * Se dirá que el esquema molecular es contradictorio
F V V si los valores del operador principal son todos falsos.
F F F
* Si los valores del operador principal tiene por lo menos
3. Disyunción Exclusiva: Vincula dos proposiciones una verdad y una falsedad se dice que es contingente
mediante el conectivo lógico: "o ..........., o ............." o consistente.

Tabla de Verdad
p q p  q LEYES DE ÁLGEBRA PROPOSICIONAL
V V F
V F V Son equivalencias lógicas que nos permiten reducir esque-
F V V mas moleculares complejos y expresarlos en forma más sen-
F F F cilla. Las demostraciones de dichas leyes se hacen constru-
yendo la tabla de verdad en cada caso.
4. Condicional: Vincula dos proposiciones mediante el
conectivo lógico :
"Si ............, entonces .............." Principales Leyes:

Tabla de Verdad a. Ley de Idempotencia:

p q p  q pp  p
V V V pp p
V F F
F V V b. Ley Conmutativa:
F F V
F pq qp
pq qp
5. Bicondicional: Vincula dos proposiciones mediante
el conectivo lógico:
c. Ley Asociativa:
".............. si y sólo si .............."
(p  q)  r  p  (q  r)
Tabla de Verdad (p  q)  r  p  (q  r)
p q p  q
V V V d. Ley Distributiva:
V F F p  (q  r)  (p  q)  (p  r)
F V F p  (q  r)  (p  q)  (p  r)
F F V
e. Ley de la Doble Negación:
6. Negación: Afecta a una sola proposición. Es un
~ (~ p)  p
operador monádico que cambia el valor de verdad de
una proposición:
f. Leyes de Identidad:
Tabla de Verdad pV  V ; pF  p
p ~p pV  p ; pF  F
V F
F V g. Leyes del Complemento:
p~ p  V
OBSERVACIÓN: La cantidad de filas en una tabla es: p~ p  F
# filas = 2 n
h. Ley del Condicional:
Donde n es la cantidad de proposiciones simples. p  q ~ p  q
i. Ley de la Bicondicional: CIRCUITOS LÓGICOS

p  q  (p  q)  (q  p)
Un circuito conmutador puede estar solamente en dos esta-
p  q  (p  q)  (~ p  ~ q)
dos estables : cerrado o abierto, así como una proposición
p  q  ~ (p  q) puede ser verdadera o falsa, entonces podemos representar
una proposición utilizando un circuito lógico:
j. Ley de Absorción:
p  (p  q)  p 1. Circuito Serie: Dos interruptores conectados en serie
p  (p  q)  p representan una conjunción.
p  (~ p  q)  p  q
p q   p q
p  (~ p  q)  p  q

k. Leyes de "De Morgan":

2. Circuito Paralelo: Dos interruptores conectados en
~ (p  q)  ~ p  ~ q paralelo representan una disyunción.
~ (p  q) ~ p  ~ q
p

CUANTIFICADORES:   p q
q

1. Cuantificador Universal: Sea la función

proposicional f(x) sobre un conjunto A, el cuantificador
 ("para todo") indica que todos los valores del
conjunto A hacen que la función proposicional f(x )
sea verdadera.
 se lee : "Para todo"
LÓGICA BINARIA
La lógica binaria trata con variables que toman 2 valores
discretos y con operaciones que asumen significado lógico,
para este propósito es conveniente asignar los valores de 1
y 0.
PRINCIPALES COMPUERTAS LÓGICAS

* Compuerta AND de dos entradas.

Ejemplo:
p
Sea : f : x 3  2  5 donde x  N q p q
(x )
La proposición cuantificada es :

 x  N ; x 3  2  5 es falsa. * Compuerta OR de dos entradas

p p q
q
2. Cuantificador existencial: Sea f(x ) una función
proposicional sobre un conjunto A el cuantificador  * Compuerta NOT
(existe algún) indica que para algún valor del conjunto
A, la función proposicional f(x) es verdadera. p ~p

* Compuerta NAND de dos entradas

 se lee : "Existe algún"
p
q ~ (p  q)

Ejemplo:
* Compuerta NOR de dos entradas
Sea f : x 2  5  8 , donde : x  Z  , la proposición:
(x )
p
 x  Z  / x 2  5  8 es verdadera: q ~ (p q)
 EJERCICIOS PROPUESTOS

01. De los siguientes enunciados: a) VFV b) VVV c) VFF

* Qué rico durazno. d) FVF e) FFF
* 7 + 15 > 50
2 2
* x  y  25 06. Si : (p  ~ q)  r ; es falsa, determinar los valores de
¿Qué alternativa es correcta? verdad de "p", "q" y "r".

a) Una es proposición. a) VVF b) VFF c) VVV

b) Dos son enunciados abiertos. d) VFV e) FFF
c) Dos son expresiones no proposicionales.
d) Dos son proposiciones. 07. Simbolizar:
e) Todas son proposiciones.
~p ~q
02. ¿Cuántas de las siguientes expresiones son
proposiciones?
* ¡Dios mío .... se murió! q
* El calor es la energía en tránsito.
* Baila a menos que estés triste. Si la proposición que se obtiene es falsa.
* Siempre que estudio, me siento feliz. ¿Cuáles son los valores de p y q respectivamente?
* El delfín es un cetáceo, ya que es un mamífero ma-
rino. a) VV b) VF c) FV
d) FF e) No se puede precisar
a) 1 b) 2 c) 3
d) 4 e) 5 08. Si la proposición: (p ~ q)  (~ r  s) es falsa,
deducir el valor de verdad de :
03. Dadas las siguientes expresiones:
* El átomo no se ve, pero existe. (~ p ~ q) ~ p
* Los tigres no son paquidermos, tampoco las nu-
trias. a) V b) F
* Toma una decisión rápida. c) V o F. d) No se puede determinar.
* Hay 900 números naturales que se representan con e) Es V si p es F.
tres cifras.
* La Matemática es ciencia fáctica. 09. Si la proposición compuesta:
* Es imposible que el año no tenga 12 meses. (p  q)  (r  t)
¿Cuántas no son proposiciones simples? Es falsa. Indicar las proposiciones que son verdaderas:

a) 0 b) 1 c) 2 a) p ; r b) p ; q c) r ; t
d) 3 e) 4
d) q ; t e) p ; r ; t
04. Hallar el valor de verdad de las siguientes
10. Si "p" es una proposición falsa, determina el valor de
proposiciones:
verdad de la expresión:
(3  2  5)  (7  2  11) {(p  q)  [r  (~ q  p)]}  (r  p  q)
(4  1  3)  (2  10  8)
a) Verdadero.
(3  7  10)  (12  5)
b) Falso.
 12  2    1  1  3  c) Verdadero o falso.
   2 2 d) Verdadero sólo si q es verdadero.
e) Falso sólo si r es falso.
a) VVFV b) VFVV c) VVVV
d) VVVF e) FVVV 11. Si la proposición:
(p  q)  (q  r)
05. Determinar el valor de verdad de cada una de la es falsa, hallar el valor de verdad de las siguientes
siguientes proposiciones: fórmulas:
I. Si : 3 + 1 = 7, entonces : 4 + 4 = 8 I. ~ (p  r)  (p  q)
II. No es verdad que : II. (p ~ q)  (~ r  q)
2 + 2 = 5 si y solo si 4 + 4 = 10. III. [(p  q)  (q  ~ r)]  (p ~ r)
III. Madrid está en España o Londres está en Francia.
a) VVF b) VFV c) VVV
d) VFF e) FVV
12. Los valores de verdad de las proposiciones "p" , "q" , "r" 17. Sea : U = {1 , 2 , 3}, el conjunto universal.
y "s" son respectivamente V, F, F y V. Hallar el valor de verdad de:
2
Obtener los valores de verdad de: I.  x ,  y / x  y  1
I. [(p  q)  r]  s II.  x ,  y / x 2  y 2  12
II. r  (s  p) 2 2
III.  x ,  y / x  y  12
III. (p  r)  (r  ~ s) 2 2
IV.  x ,  y / x  y  12

a) VFF b) FVV c) VVV

a) VFVF b) VVFF c) VVVF
d) VVF e) FFF
d) VVVV e) VVFV
13. Si la proposición:
18. Si : U = {1 ; 2 ; 3 ; 4 ; 5}
p  (r  s) ¿Cuál es el valor de verdad de las siguientes
Es falsa, ¿cuántas de las siguientes proposiciones son proposiciones?
verdaderas? I.  x U : x  3  x  4
I. (~ s  t)  ~ p II.  x  U : x  2  8  x  6
II. rp III.  x  U : x  2  5  x - 1  2
III. t ~ r
a) VVV b) FFV c) VFV
IV. (r  p)  (s  t) d) FVF e) FFF

a) Ninguna b) Una c) Dos 19. Hallar los valores de verdad de las siguientes
d) Tres e) Cuatro proposiciones:
I. ( x  R , x  x)  ( x  R , x  1  x)
14. Si la proposición compuesta:
II. ( x  R , x 2  x)  ( x  Z , x  1  x - 1)
~ [(p ~ r)  (r  ~ q)]
III. ( x  N , x  0)  ( x  Q , x  0)
no es falsa. Hallar el valor de verdad de las
proposiciones r, p y q respectivamente. IV. ( x  N , x  3  x)  ( x  R , x  1  x)

a) FVV b) VVF c) VFV a) FVVF b) FVVV c) VVFF

d) FVF e) VFF d) VFFF e) VVVF

15. De la falsedad de la proposición :

20. Sea : A = {1 , 2 , 3}
(p ~ q)  (~ r  s) se deduce que el valor de verdad
Determinar el valor de verdad de las siguientes
de los esquemas: expresiones:
I. (~ p  ~ q)  (~ q)
I.  x  A ,  y  A / x2  y  1
II. (~ r  q)  [(~ q  r)  s]
III. (p  q)  [(p  q) ~ q] II.  x  A ,  y  A / x2  y2  12
Son respectivamente :
III.  x  A ,  y  A ,  z  A/ x 2  y 2  2z 2
a) VFV b) FFF c) VVV IV.  x  A ,  y  A ,  z  A/ x 2  y 2  2z 2
d) VVF e) FFV
a) VFVV b) VVFV c) VVVF
16. Sean las proposiciones:
d) FVVV e) VVVV
* p(x ) : x  R , x 0  1
21. Señalar la expresión equivalente a la proposición:
2 (p ~ p)  (~ q ~ p)
* q (y ) :  y  N / y  0

r(z) :  z  R , z 2  9 2  (z  3)(z  3) a) q  p
*
b) p  q
Indique el valor de verdad de:
c) (p  q) ~ p
p  q , p  r , rq
d) ~ p  (p  q)
a) FFV b) FVV c) VFV e) (q  p) ~ p
d) VVV e) FFF
22. Indicar el valor de verdad de: 28. Simplificar:
I. p  (p  q) M  [(~ p  q)  (~ q  p)] ~ (p  q)
II. (p  q)  (p  q)
a) q b) p c) ~p
III. ~ [(p  q)  p] d) ~q e) ~ p  q

a) VVV b) VFV c) VVF 29. Simplificar:

d) FVF e) FVV
~ [(~ p  q) ~ p]  [q  (p ~ q)]
23. Indicar el valor de verdad de:
I. ~ [(p  q)  p] a) p ~ q b) ~ p  q
II. (p  q)  p c) ~ (p  q) d) ~ (p  q)
III. (p  q)  (p  q) e) p  q
IV. p  (p  q)
30. De la veracidad de:
a) VFVF b) VVVF c) FVFV ~ [(p ~ q)  (~ r ~ s)]
d) VFFV e) FVVV Deducir el valor de verdad de :
I. ~ (~ q  ~ s) ~ p
24. Simplificar el siguiente circuito:
II. ~ (~ r  s)  (~ p ~ q)
q
III. p ~ [q ~ (s  r)]
~p
A B
q ~p a) FVV b) VVF c) FFV
~q d) VFF e) FFF

p 31. Indicar el valor de verdad de:

I. (~ p  ~ q)  (p  q)
a) p  q b) ~ p  q c) p  q es una contradicción.
d) ~ p  q e) ~ p ~ q II. [(p  q)  (q  r)]  (p  r)
es una tautología.
25. Hallar la proposición equivalente al circuito lógico: III. [p  (p  q)]  (q  r)
p q es una contingencia.
~q
a) VVV b) VVF c) VFF
~p d) VFV e) FVV
p
q
32. De los siguientes esquemas:
a) p b) p ~ q c) p  q
* (q  r)  (~ p  r)
d) ~ p  q e) p  ~ q
* [p  (p  q)]  p
26. Simplificar la proposición que corresponde al circuito: * [(~ p  q) ~ r] ~ [r  ~ (p ~ q)]
q Indicar en el orden dado cuál es Tautología (T),
Contingencia (S) o Contradicción (C):
~p
a) T , C , S b) T , S , C c) C , T , S
q p d) S , T , C e) S , C , T
~q
p 33. Dado el siguiente enunciado:
~ [{~ ([p  q]  p) ~ (q  r)}  q]
a) p  q b) ~ p  q c) p  q
Según su tabla de verdad, podemos decir que dicha
d) ~ p  q e) ~ p ~ q proposición es una:

27. Simplificar a su mínima expresión: a) Tautología. b) Contradicción.

(p  q)  [(p ~ q)  (p  q)] c) Contingencia. d) Ley lógica.
e) Equivalencia lógica.
a) p b) q c) p  q
d) p  q e) p  q
34. Si: I. p ~ q ~ (p  ~ q)
a * b  (a  b)  [b ~ (a  b)]
II. ~ (p q)  (p  q)  p  q
a b  {a  [b  (a  b)]} ~ a
III. ~ p  q ~ (~ p q)
Reducir :
{[(p * q) r] * (~ p * q)} {q * (p ~ q)} a) Sólo I b) Sólo II c) I y II
d) I y III e) Todas
a) ~p b) V c) F
d) p e) q 39. Si: p  q  p ~ q

35. Si se define: p# ~ q  (p  q) ~ p
Simplificar:
p  q  (p ~ q)  (q ~ p)
[(p  q)  (p  q)# (p  q)]
Simplificar: ~ [(p  ~ q) ~ q]
a) ~ p  q b) p c) ~q
a) p  q b) p  q c) ~ p  q d) ~ p ~ q e) ~p
d) ~p e) ~q
40. Si: p * q ~ p  ~ q
36. Se define el operador : (+), por la siguiente tabla:
Expresar ~p usando únicamente el operador (*)
p q p  q
V V V a) (p * p) * p
b) (p * ~p) * p
V F V c) ~(p * q)
F V F d) p*q
F F V e) p * (q * q)

Simplificar: (p + q) + p 41. La proposición equivalente más simple del siguiente

circuito:
a) F b) p  q c) ~ q  q p ~q
d) p  q e) V
q ~p r
M N
37. Se definen los operadores # y  por las siguientes q
p r t
tablas:
~p ~q
p q p # q p q p  q
V V F V V F Es:

V F F V F V a) p b) q c) r
F V F F V V d) p e) ~q
F F V F F V
42. El circuito lógico:
Simplificar:
p ~q
[(p# ~ q)  p]  (q  ~ p)
~p ~q
a) q  p b) q  p c) p  q q
d) p  q e) q ~ p A r B
s ~p
r s t
t
38. Se definen los operadores "  " y "  " por las siguientes r
tablas: s
r s t
t
p q p  q p  q
V V F V Es equivalente a:
V F V F
F V F V a) p b) q c) ~p
F F F V d) ~q e) p  q

¿Cuál o cuáles de las siguientes proposiciones son

verdaderas?
43. El circuito lógico más simple equivalente al siguiente Simplificar el siguiente circuito:
circuito:
p ~p y q
p x
q ~q s t x
t s q
A B y
p q ~p p q r q y
~q p x
q x
~p ~q ~r y
p q y
x p
q x
y
a) A p q B
x q q
p y
b) A q B x
y q
c) A s
B

d) A t
B a) p  q
b) p  q  r  s  t
e) A s t
B c) r  s
d) s  t
44. Si: e) p  q  r  s  t
A  [(p  q)  (p  r)]  [(p  t)  (p  ~ t)]
46. Sabiendo que la instalación de cada llave cuesta S/. 20.
q ~q ~q Cuánto se ahorraría si hacemos una instalación mínima;
B pero equivalente a:
~p q q
~p r
El circuito simplificado de A  B es: ~p r
~r
~p
a) ~q p
~q ~r p
p p q
b)
~q ~r
a) 80 b) 100 c) 140
~p d) 160 e) 180
c)
q r 47. Para una proposición cualquiera, "p" se define:
~q r
1 si p es Verdadero
d) F(p)  
p 0 si p es Falso
p q Si:
e) F(m)  1 donde m  (p  r)  s
~r
F(n)  0 donde n  p  (r  p)
45. Si la proposición x  y es equivalente al circuito:
Halle:
q ~r F(p  r)  F(r  s)  F(p  s)  F(~ p)
p ~q p q
r ~r p q a) 1 b) 2 c) 3
d) 4 e) 0
q ~p ~s r s t
~t
~q r