Departamento de Ciencias

rea de Matemtica

Elementos de Lgica Propocicional

Aprendizajes esperados
Identificar 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 simplificacin, etc.
Reconocer y diferenciar los diferentes tipos de formas proposicionales a travs
de la utilizacin de tablas de verdad y algebra de proposiciones.

Definicn 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 clasificar 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 afinacin, basta con que usted mida la mesa con un metro. Entonces usted
podra decir que la afirmacin 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 afirmacin 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 refieren "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 refiere a la hermana de Roberto y

Coordinacin Matemtica

Departamento de Ciencias
rea de Matemtica

"m" se refiere a Roberto, as que podemos decir si sta afirmacin 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.
Definicn 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.
2.
3.
4.
5.
6.

la negacin.
la conjuncin.
disyuncin inclusiva.
disyuncin excluyente.
condicional.
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:

Definicn 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

Departamento de Ciencias
rea de Matemtica

p
V
F

p
V
V
F
F

q
V
F
V
F

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
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
V
F

p
F
V

Tabla de verdad de la conjuncin

La tabla de verdad de la conjuncin est dada por:

p
V
V
F
F

q
V
F
V
F

pq
V
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 p q, 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
V
V
F
F

q
V
F
V
F

pq
V
V
V
F

Coordinacin Matemtica

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 p q, 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.

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
V
V
F
F

q
V
F
V
F

pq
F
V
V
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
V
V
F
F

q
V
F
V
F

pq
V
F
V
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:
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 suficiente para q, o
bien, q es condicin necesaria y suficiente 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.
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
V

Ejemplo 3
Considere las siguientes proposiciones simples
p : 5 es mayor que 7
q : 4 es divisible por 2

Coordinacin Matemtica

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?

Definicn 1.4: Forma proposicional

Si p, q, r, s, etc. son smbolos que denotan proposiciones especficas, llamaremos Forma proposicional a cualquier expresin finita 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
V V F
V F F
F V V
F F V

pq
V
F
V
V

pq
V
F
V
V

(p q) (p q)
V
V
V
V

2. [(p q) (q p)] (p q).

Solucin:
p q pq
V V
V
V F
F
F V
V
F F
V

qp
V
V
F
V

(p q) (q p)
V
F
F
V

pq
V
V
V
F

pq
F
F
F
V

pq
V
F
F
V

[(p q) (q p)] (p q)
V
V
V
V

3. p q (p q).
Solucin:
p q p
V V F
V F F
F V V
F F V

q
F
V
F
V

Coordinacin Matemtica

pq
F
F
F
V

pq pq
V
V
V
V

Departamento de Ciencias
rea de Matemtica

Definicn 1.5: Tautologa, contradiccin, contingencia, implicancia lgica, equivalencia

lgica
Las formas proposicionales se pueden clasificar 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 (p q) q implica lgicamente a la proposicin p. Para demostrar esta afirmacin,
hay que comprobar que [(p q) q] p es una tautologa.
p
V
V
F
F

1.2

q
V
F
V
F

p
F
F
V
V

q
F
V
F
V

pq
V
F
V
V

(p q) q
F
F
F
V

[(p q) q] p
V
V
V
V

Leyes del lgebra proposicional

Son ciertas equivalencias lgicas que se dan continuacin y cuya demostracin es fcil de realizar exhibiendo sus tablas de verdad.
1. Doble negacin p p
2. Leyes Conmutativas

(c) (p q) (q q)
3. Leyes Asociativas

(a) (p q) (q q)

(a) [p (q r)] [(p q) r)]

(b) (p q) (q q)

(b) [p (q r)] [(p q) r)]

Coordinacin Matemtica

Departamento de Ciencias
rea de Matemtica

(c) (p q) [(p q) F )

4. Leyes Distributivas
(a) [p (q r)] [(p q) (p r)]
(b) [p (q r)] [(p q) (p r)]
5. Leyes Idempotencia

8. Leyes de equivalencia
(p q) [(p q) (q p)]
9. Ley de simplificacin

(a) (p p) p

(a) [p (p q)] p

(b) (p p) p

(b) [p (p q)] p

6. Leyes Morgan

(c) p V p

(a) (p q) (p q)

(d) p F F

(b) (p q) (p q)

(e) p V V

7. Leyes de Implicacin

(f) p F p

1.3

(a) (p q) (p q)

(g) p p F

(b) (p q) (q p)

(h) p p V

Lgica simbolica y circuitos

Circuitos y conectivos lgicos
Interruptor
OFF
abierto

por conmutadores o interruptores que consideran las posiciones cerrada o abierta, se llaman
p
M
circuitos de conmutacin, la posicin cerrada se
ON
M
El lgebra de circuitos utiliza dispositivos de dos simboliza por ONy la abierta por OFF, un inestados como por ejemplo el interruptor o switch terruptor se encontrar cerrado o abierto y nunca
(es el ms sencillo). Los dispositivos formados en posicin intermedia
Interruptor
cerrado p

OFF

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
afirmar 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

Departamento de Ciencias
rea de Matemtica

Hay paso de corriente

q
p

No hay paso de corriente

p
q
p

No hay paso de corriente

No hay paso de corriente

p
Representaremos a un interruptor p, simplemente por

Ejemplo 6
p

1. El circuito que tiene los interruptores p y q

en serie se representa por la conjuncin p q
2. El circuito que tiene los interruptores p y q en
paralelo, se representa por la disyuncin inclusiva p q

p
A

Tabla de verdad de un circuito en serie o conjuncin.

p
1
1
0
0

q
1
0
1
0

pq
1
0
0
0

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
1
1
0
0

q
1
0
1
0

pq
1
1
1
0

p
A

q
Cuando los conmutadores estn conectados en
paralelo, pasar corriente si uno o ambos conmutadores estn cerrados, uno de ellos debe tener
el valor de verdad V (o bien tienen el valor 1).

Coordinacin Matemtica

Departamento de Ciencias
rea de Matemtica

Ejemplo 7
Represente por una proposicin los siguientes circuitos
q

(b)

(a)

Use el lgebra proposicional para simplificar cada uno de los circuitos, y haga su representacin
grfica.
Solucin:
(a) Este sistema de interruptores conectados en serie y paralelo se puede representar por la proposicin
p (q p). Esta proposicin se puede simplificar usando el lgebra de proposiciones
q
p (q p)
p

(a)

(p q) (p p)
(p q) F
(p q)
p

p
q
Distributividad de respecto a
p p (b)
F
(p q) F (p q)

Entonces
q

(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 simplificar usando el
lgebra de proposiciones
(p q) ((p r) q))
(p q) t
(p t) (q t)
Usamos q (q #) q

Sea t [(p r) q]
Distributividad del respecto al
(q t) q [(p r) q] q

(p t) q s

Coordinacin Matemtica

Departamento de Ciencias
rea de Matemtica
q
(a)

p
Ahora simplificamos la proposicin (p t)

(b)
p

p
(p t) p [(p r) q]
[p (p r)] (p q)
V (p q)

q
r
Distributividad de respecto a
p (p r) (p p) r V r V

pq

Ahora simplificamos
p la proposicin s (pt)q (pq)q q. Por lo tanto (pq)((pr)q))
q. En trminos de circuitos:
p
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. Simplifique las siguientes proposiciones utilizando las leyes del lgebra proposicional.
(a) ( (p q) q) q

(c) (( p q) (p q)) p

(b) (( p q) (r r)) q

(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. Verifique 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. Simplifique los siguientes circuitos
(a)
p

p q

p
q
q

(b)
r
q
p

q
r

Solucin:
(a)

q
q

p
(b)

r
q

Coordinacin pMatemtica

q
p

11