Departamento de Ciencias

rea de Matemtica
1 Elementos de Lgica Propocicional
Aprendizajes esperados
Identicar proposiciones.
Reconocer y manejar conectivos lgicos y sus tablas de verdad.
Reconocer y manejar propiedades bsicas del lgebra de proposiciones tales ley
conmutativa, distributiva, de simplicacin, etc.
Reconocer y diferenciar los diferentes tipos de formas proposicionales a travs
de la utilizacin de tablas de verdad y algebra de proposiciones.
Denicn 1.1: Proposicin
1. Una proposicin es un enunciado u oracin respecto de la cual se puede decir sin ambigedad
si es verdadera (V) o falsa (F).
2. La veracidad o falsedad de una proposicin es lo que se llama su valor de verdad.
Si el enunciado u oracin es un decticos, una pregunta o una orden, o si es demasiado imprecisa
(o carece de sentido), entonces no se puede clasicar como verdadera o falsa, as que no se llamara
proposicin.
Ejemplo 1
Por ejemplo si digo que la mesa de la sala de clase mide 1.1 metros de largo, sera fcil demostrar la
falsedad o veracidad de la anacin, basta con que usted mida la mesa con un metro. Entonces usted
podra decir que la armacin es falsa porque la mesa mide 1.2 metros, de acuerdo a lo registrado en
el metro. Mientras que si digo, yo creo, esta mesa mide 1.1 metros de largo, por ms que usted mida
la mesa y muestre la medida de ella, nunca podr refutar que yo crea que la mesa mide 1.1 metros. La
primera armacin es una proposicin, mientras que la segunda no es proposicin.
Otros ejemplos
Ejemplo 2
1. La expresin "2 + 3 = 5", en sistema numrico decimal, es una proposicin verdadera.
2. La expresin " 1 + 1 = 2", en sistema numrico binario, es una proposicin falsa.
3. "Ella vive cerca de mi", no es una proposicin porque no podemos saber a quin se reeren "ella"
y "m".
4. Emilio le pregunt a Roberto dnde viva su hermana. Roberto respondi: "Ella vive cerca de
m", es una proposicin porque ahora ya sabemos que "ella" se reere a la hermana de Roberto y
Coordinacin Matemtica 1
Departamento de Ciencias
rea de Matemtica
"m" se reere a Roberto, as que podemos decir si sta armacin es verdadera o falsa.
5. "Aqu", no es proposicin.
6. "x + 3 = 7", no es proposicin.
7. "Qu hora es?", no es proposicin.
1.1 Conectivos lgicos, proposiciones simples y compuesta, negacin
Por lo general las proposiciones se denotan mediante las letras minsculas p, q, r, etc.
Denicn 1.2: Conectivos lgicos
Los conectivos lgicos son smbolos usados para combinar proposiciones dadas, produciendo as
otras llamadas proposiciones compuestas.
Los conectivos que usamos son:
1. ,

la negacin.
2. la conjuncin.
3. disyuncin inclusiva.
4. disyuncin excluyente.
5. condicional.
6. bicondicional.
Sern proposiciones simples aquellas que no incluyen conectivos lgicos. Sern proposiciones
compuestas aquellas que los incluyen. p q, p q, p q, p q y p q, son proposiciones
compuestas.
1.1.1 Negacin:
La negacin de una proposicin p es una nueva proposicin, que se denota por p o bien p, y tiene un
valor de verdad opuesto al valor de verdad de la proposicin p.
Por ejemplo p : 2 < 2 es una proposicin falsa, mientras que su negacin es una proposicin verdadera
p : 2 2.
1.1.2 Tabla de verdad:
Denicn 1.3: Tabla de verdad
El arreglo que permite tener los valores posibles de verdad de una proposicin compuesta, a partir
de los valores de verdad de las proposiciones simples se llama tabla de verdad.
Si p, q y r son proposiciones simples, entonces
Coordinacin Matemtica 2
Departamento de Ciencias
rea de Matemtica
p
V
F
p q
V V
V F
F V
F F
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
son los posibles valores de verdad para una combinacin de una, dos y tres proposiciones simples.
Tabla de verdad de la negacin
La tabla de verdad de la negacin est dada por:
p p
V F
F V
Tabla de verdad de la conjuncin
La tabla de verdad de la conjuncin est dada por:
p q p q
V V V
V F F
F V F
F F F
Las proposiciones simples p y q se componen mediante la conjuncin
(), dando origen a la proposicin compuesta p q, que se lee p y q.
De acuerdo a la tabla de verdad de pq, una caracterstica fundamental
de la conjuncin es que su valor de verdad es verdadero slo en el caso
en que ambas proposiciones tengan valor de verdad verdadero, en caso
contrario tiene valor de verdad falso.
Tabla de verdad de la disyuncin inclusiva
La tabla de verdad de la disyuncin inclusiva est dada por:
p q p q
V V V
V F V
F V V
F F F
Las proposiciones simples p y q se componen mediante la disyuncin
inclusiva (), dando origen a la proposicin compuesta p q, que se lee
p o q.
De acuerdo a la tabla de verdad de pq, una caracterstica fundamental
de la disyuncin inclusiva es que su valor de verdad es falso slo en el
caso en que ambas proposiciones tengan valor de verdad falso, en caso
contrario tiene valor de verdad verdadero.
Coordinacin Matemtica 3
Departamento de Ciencias
rea de Matemtica
Tabla de verdad de la disyuncin exclusiva
La tabla de verdad de la disyuncin exclusiva est dada por:
p q p q
V V F
V F V
F V V
F F F
Las proposiciones simples p y q se componen mediante la disyuncin
inclusiva ( ), dando origen a la proposicin compuesta p q, que se lee
solamente p o solamente q.
De acuerdo a la tabla de verdad de p q, una caracterstica fundamental
de la disyuncin exclusiva es que su valor de verdad es falso slo en el
caso en que ambas proposiciones tengan el mismo valor de verdad, en
caso contrario tiene valor de verdad verdadero.
Tabla de verdad del condicional o implicacin.
La tabla de verdad del condicional o implicacin est dada por:
p q p q
V V V
V F F
F V V
F F V
Las proposiciones simples p y q se componen mediante el condicional
(), dando origen a la proposicin compuesta p q, que se lee p
entonces q.
De acuerdo a la tabla de verdad de p q, una caracterstica fundamental
del condicional es que su valor de verdad es falso slo en el caso en el
antecedente p es verdadero y el consecuente q es falso, en caso contrario
tiene valor de verdad verdadero.
Tabla de verdad del bicondicional.
La tabla de verdad del biconcional est dada por:
p q p q
V V V
V F F
F V F
F F V
Las proposiciones simples p y q se componen mediante el bicondicional
(), dando origen a la proposicin compuesta p q, que se lee p si slo
si q, p es equivalente a q, p es condicin necesaria y suciente para q, o
bien, q es condicin necesaria y suciente para p.
De acuerdo a la tabla de verdad de p q, una caracterstica fundamental
del bicondicional es que su valor de verdad es verdadero slo en el caso
en que ambas proposiciones tiene el mismo valor de verdad, en caso contrario tiene valor de verdad
falso.
Ejemplo 3
Considere las siguientes proposiciones simples
p : 5 es mayor que 7
q : 4 es divisible por 2
Coordinacin Matemtica 4
Departamento de Ciencias
rea de Matemtica
escribir en palabras las proposiciones p q, p q y (p q) q. Cules son sus valores de verdad?
Denicn 1.4: Forma proposicional
Si p, q, r, s, etc. son smbolos que denotan proposiciones especcas, llamaremos Forma proposi-
cional a cualquier expresin nita que se pueda construir con tales smbolos y los conectivos lgicos
Toda forma proposicional tiene asociada una tabla de verdad
Ejemplo 4
Construir la tabla de verdad de la forma proposicional:
1. (p q) (p q).
Solucin:
p q p p q p q (p q) (p q)
V V F V V V
V F F F F V
F V V V V V
F F V V V V
2. [(p q) (q p)] (p q).
Solucin:
p q p q q p (p q) (q p) p q [(p q) (q p)] (p q)
V V V V V V V
V F F V F F V
F V V F F F V
F F V V V V V
3. p q (p q).
Solucin:
p q p q p q p q p q p q p q
V V F F V F F V
V F F V V F F V
F V V F V F F V
F F V V F V V V
Coordinacin Matemtica 5
Departamento de Ciencias
rea de Matemtica
Denicn 1.5: Tautologa, contradiccin, contingencia, implicancia lgica, equivalencia
lgica
Las formas proposicionales se pueden clasicar de la siguiente manera:
1. Tautologa si obtiene el valor lgico V (verdadero) para cualquier sustitucin (de valor de
verdad) de las proposiciones que la componen.
2. Contradiccin si obtienen el valor lgico F (falso) para cualquier sustitucin (de valor de
verdad) de las proposiciones que la componen.
3. Contingencia si no es tautologa ni contradiccin.
4. Implicancia lgica Se dice que una proposicin p implica lgicamente a una proposicin
q si p q es una tautologa.
5. Proposiciones lgicamente equivalentes Dos proposiciones p y q (simples o compuestas)
son lgicamente equivalentes si el bicondicional entre ambas es una Tautologa. En tal
caso, denotamos el bicondicional por y escribiremos p q.
Ejemplo 5
1. La proposicin p q es lgicamente equivalente a p q por que (p q) (p q) es una
tautologa segn ejemplo anterior.
2. La proposicin (p q) (q p) es lgicamente equivalente a (p q) por que [(p q) (q
p)] (p q) es una tautologa segn ejemplo anterior.
3. Por las mismas razones, las proposiciones p q y p q son lgicamente equivalente.
4. La proposicin (pq) q implica lgicamente a la proposicin p. Para demostrar esta armacin,
hay que comprobar que [(p q) q] p es una tautologa.
p q p q p q (p q) q [(p q) q] p
V V F F V F V
V F F V F F V
F V V F V F V
F F V V V V V
1.2 Leyes del lgebra proposicional
Son ciertas equivalencias lgicas que se dan continuacin y cuya demostracin es fcil de realizar exhibi-
endo sus tablas de verdad.
1. Doble negacin p p
2. Leyes Conmutativas
(a) (p q) (q q)
(b) (p q) (q q)
(c) (p q) (q q)
3. Leyes Asociativas
(a) [p (q r)] [(p q) r)]
(b) [p (q r)] [(p q) r)]
Coordinacin Matemtica 6
Departamento de Ciencias
rea de Matemtica
4. Leyes Distributivas
(a) [p (q r)] [(p q) (p r)]
(b) [p (q r)] [(p q) (p r)]
5. Leyes Idempotencia
(a) (p p) p
(b) (p p) p
6. Leyes Morgan
(a) (p q) (p q)
(b) (p q) (p q)
7. Leyes de Implicacin
(a) (p q) (p q)
(b) (p q) (q p)
(c) (p q) [(p q) F)
8. Leyes de equivalencia
(p q) [(p q) (q p)]
9. Ley de simplicacin
(a) [p (p q)] p
(b) [p (p q)] p
(c) p V p
(d) p F F
(e) p V V
(f) p F p
(g) p p F
(h) p p V
1.3 Lgica simbolica y circuitos
Circuitos y conectivos lgicos
ON
OFF
Interruptor
abierto
M
p
Interruptor
cerrado
OFF
M
p
El lgebra de circuitos utiliza dispositivos de dos
estados como por ejemplo el interruptor o switch
(es el ms sencillo). Los dispositivos formados
por conmutadores o interruptores que conside-
ran las posiciones cerrada o abierta, se llaman
circuitos de conmutacin, la posicin cerrada se
simboliza por ONy la abierta por OFF, un in-
terruptor se encontrar cerrado o abierto y nunca
en posicin intermedia
Cuando en el circuito est pasando corriente denotaremos esta situacin con el valor V , o bien con el
nmero 1. Cuando no est circulando corriente denotaremos esta situacin con el valor F, o bien con el
nmero 0.
Cuando tenemos dos conmutadores conectados en serie sin conocer si estn abierto o cerrado, podemos
armar que se pueden dar cuatro casos:
Los dos conmutadores estn cerrado y hay paso de corriente
El primero cerrado y el segundo abierto y no hay paso de corriente
El primero abierto y el segundo cerrado y no hay paso de corriente
Los dos abiertos y no hay paso de corriente
Esto se puede visualizar en el siguiente diagrama
Coordinacin Matemtica 7
Departamento de Ciencias
rea de Matemtica
No hay paso de corriente
No hay paso de corriente
No hay paso de corriente
Hay paso de corriente
p q
p
q
p
q
p q
Representaremos a un interruptor p, simplemente por
p
Ejemplo 6
1. El circuito que tiene los interruptores p y q
en serie se representa por la conjuncin p q
p q
2. El circuito que tiene los interruptores p y q en
paralelo, se representa por la disyuncin inclu-
siva p q
p
q
A B
Tabla de verdad de un circuito en serie o conjuncin.
p q p q
1 1 1
1 0 0
0 1 0
0 0 0
p q
Cuando los conmutadores estn conectados en serie, pasar corriente si
ambos conmutadores estn cerrados, ambos tiene el valor de verdad V
(o bien tienen el valor 1).
Tabla de verdad de un circuito en paralelo o disyuncin inclusiva.
p q p q
1 1 1
1 0 1
0 1 1
0 0 0
p
q
A B
Cuando los conmutadores estn conectados en
paralelo, pasar corriente si uno o ambos conmu-
tadores estn cerrados, uno de ellos debe tener
el valor de verdad V (o bien tienen el valor 1).
Coordinacin Matemtica 8
Departamento de Ciencias
rea de Matemtica
Ejemplo 7
Represente por una proposicin los siguientes circuitos
(b)
p q
p
r
q
p
q
p
(a)
Use el lgebra proposicional para simplicar cada uno de los circuitos, y haga su representacin
grca.
Solucin:
(a) Este sistema de interruptores conectados en serie y paralelo se puede representar por la proposicin
p (q p). Esta proposicin se puede simplicar usando el lgebra de proposiciones
p (q p)
(p q) (p p)
(p q) F
(p q)
Distributividad de respecto a
p p F
(p q) F (p q)
Entonces
(b)
p q
p
r
q
p
q
p
(a)
p
q
p q
p
(b) Este caso el sistema de interruptores conectados en serie y paralelo se puede representar por la
proposicin (p q) ((p r) q)). Nuevamente, esta proposicin se puede simplicar usando el
lgebra de proposiciones
(p q) ((p r) q))
(p q) t
(p t) (q t)
Usamos q (q #) q
(p t) q s
Sea t [(p r) q]
Distributividad del respecto al
(q t) q [(p r) q] q
Coordinacin Matemtica 9
Departamento de Ciencias
rea de Matemtica
Ahora simplicamos la proposicin (p t)
(p t) p [(p r) q]
[p (p r)] (p q)
V (p q)
p q
Distributividad de respecto a
p (p r) (p p) r V r V
Ahora simplicamos la proposicin s (pt)q (pq)q q. Por lo tanto (pq)((pr)q))
q. En trminos de circuitos:
(b)
p q
p
r
q
p
q
p
(a)
p
q
p q
p
p q
p
r
q
q
1.4 Ejercicios
1. Determine cul de las proposiciones es tautologa:
(a) ((p q) q) p
(b) q ((p q) q)
(c) ( p (q r)) ( p q) (p r)
Solucin: Las tres proposiciones son tautologas.
2. Simplique las siguientes proposiciones utilizando las leyes del lgebra proposicional.
(a) ( (p q) q) q
(b) (( p q) (r r)) q
(c) (( p q) (p q)) p
(d) (( q p) ( p q)) (p q)
Solucin:
(a) q (b) q (c) p q (d) q
3. La proposicin (p q) (r s) es verdadera; teniendo r y s valores de verdad opuestos. Determine
el valor de verdad de las siguientes proposiciones:
(a) [( p q) (r s)] p
(b) [ (p q) (r s)] ( p q)
(c) [( r s) (p r)] (r s)
Solucin:
Coordinacin Matemtica 10
Departamento de Ciencias
rea de Matemtica
(a) Falsa (b) Verdadera (c) Verdadera
4. Si proposicin ( p q) ((p r) t) es falsa. Determine el valor de verdad de las siguientes
proposiciones:
(a) [( p q) (r t)]
(b) ( p r) [ t (p q)]
(c) ( p t) ( q r)
Solucin:
(a) Falsa (b) Verdadera (c) Verdadera
5. Verique las siguientes equivalencias lgicas
(a) (p q) ((p q) F)
(b) i. (F p) V
ii. (p V ) V
iii. (p F) p
iv. (p p) (p q)
(c) (p p) ((p q) q)
(d) (p p) ((p q) p)
6. Simplique los siguientes circuitos
(a)
p
q
p
q
p
q
r
p
(b)
r
q
p
q
r
r
q
Solucin:
(a)
p q
p
q
p
q
p
(b)
p q
q
r
p
q
p
Coordinacin Matemtica 11