Logica Proposicional

Prof:Jeanette Reyes R
-LOGICA PROPOSICIONAL
SINTESIS TEORICA
Proposición: Es un concepto primitivo, que no se define.

Es el nombre que se le da a todo enunciado que tenga un
sentido lógico, este puede ser verdadero o falso.
Para denotarlas se utilizan las letras minúsculas p, q, r, s, etc.
Ejemplos:
1) “Santiago es la capital de Chile” Proposición Verdadera.
2) “Cinco es mayor que diez” Proposición Falsa.
3) “¿Qué hora es?” No es proposición ya que no es ni verdadero ni falso.
 Proposición Simple: es aquella que no esta vinculada a ninguna otra.
1er Principio: El valor de verdad de una proposición:

Una Proposición puede ser verdadera o falsa.
2do Principio: Negación.

La negación es cambiar el sentido de verdad de la proposición.
Se denota por: p   p  p  p’
Tabla de verdad Para n proposiciones simples, las entradas a la tabla son 2 n.

(La mitad verdadera y la otra mitad falsas).
p p
V F Dos entradas a la tabla.
F V n = 1, 2n = 21 = 2
 Proposición Compuesta: esta formada por proposiciones simples que están

vinculadas por conectivos lógicos.
 Conjunción “y”
 Disyunción “o”
Conectivos Lógicos Condicional “implica, entonces”
 Bicondicional “sí y solo si”
Conjunción Disyunción Condicional Bicondicional

p q pq p q pq pq
V V V V V V
V F F V F F
F V F V V F
F F F F V V
Clasificación de una Proposición Compuesta:
1) Tautología: Una proposición es una tautología o teorema lógico si su tabla

de verdad es verdadera en todas sus combinaciones.
2) Contradicción: Una proposición es una contradicción si su tabla de verdad

es falsa en todas sus combinaciones.
3) Contingencia: Una proposición es una contingencia si la tabla de verdad

tiene resultados lógicos verdaderos y falsos, o sea no es tautología ni
contradicción.
Ejemplo: Construir la tabla de verdad asociada a las siguientes proposiciones:
1) p p q)
p q p q p p q p  (p  q)

V V V V V V V V V
V F V V V V V V F TAUTOLOGIA
F V V V F V F V V
F F F V F V F F F
2 3 1 2 1
Paso
Método 1 Método 2
2) p p
p p p p p  p
V F F V F F CONTRADICCION
F V F F F V
1 2 1
Paso
3) (p q) (p  q)
p q p  q p  q (p  q) (p  q) (p  q)  (p  q)
V V V V V V V V V V V V
CONTINGENCIA
V F V F F V V F F V F F
F V V F F F V V F F F V
F F F F V F F F V F F F
Paso 1 2 1 3 1 2 1
ALGEBRA DE PROPOSICIONES
Equivalencia lógica: Dos proposiciones se dicen lógicamente equivalentes si sus

tablas de verdad son iguales y se denota por 
Por Ej.: 1) p  q  p q Definición condicional

2) p  q  (p  q) q p) Definición
Bicondicional
LEYES DEL ALGEBRA DE PROPOSICIONES
1) Leyes de Idempotencia:
a) p p  p 6) Leyes de Complemento
b) p  p  p a) p  p  V c) p  p F
b) V  F d) F  V
2) Leyes Asociativas
a) (p  q)  r  p q r) 7) Ley de Involución
b) (p  q) r  p q  r) a) p  p
8) Leyes de DeMorgan
3) Leyes Conmutativas a) (p q) p q
a) p q q p b) (p  q) p q
b) p  q  q p
4) Leyes Distributivas
a) p q  r) p q) p r)
b) p  (q  r) p q)  (p r)
5) Leyes de Identidad
a) p  F  p c) p V  V
b) p  V p d) p  F  F
Las equivalencias se pueden demostrar construyendo la tabla de verdad.
EJERCICIOS RESUELTOS DE LOGICA PROPOSICIONAL
1) Identificar las proposiciones simples, los conectivos y escribir en forma

simbólica.
“Las rosas son rojas y las violetas azules”
Solución: p: Las rosas son rojas

q: las violetas son azules
Conector “y”
Forma simbólica: pq
2) Construya la tabla de verdad asociada a la siguiente proposición

compuesta.
(p q) (p  q)
Solución:
p q p  q p q ~(p (p q) (p (p  q)  ~ (p  q)
q)  q)
V V V V F F V V V F F V V V
V F F V F F V F F F F V V F
F V F V F F F F V F F F V V
F F F F V F F F F F V F F F
Paso 1 3 1 4 3 1 2 1
Método 1 Método 2
3) Demostrar la siguiente equivalencia: p  (~p  q)  p  q
a) Construyendo la tabla de verdad

b) Por el álgebra de proposiciones
Solución:
a)
P  (~p  q)  p  q
V F V V V V Son equivalentes, porque sus
V V tablas de verdad son iguales
V F F F F V F F
F F V V V F F V
F F V V F F F F
b)
p  (~p  q)  (p  ~p)  (p  q)
Ley distributiva
F  (p  q) Ley de Complemento
pq
Ley de Identidad
4) Sea p: “Hace frío” y sea q: “Está lloviendo”. Dé una frase verbal

sencilla que describa cada uno de los siguientes enunciados:
a) ~p b) pq c) p q d) q ~p e) ~p ~q
En cada caso, traduzca, y para que se lea “y”, “o” y “Es falso que” o “No”,
respectivamente, y luego simplifique la frase.
Solución:
a) No hace frío.
b) Está haciendo frío y está lloviendo.
c) Está haciendo frío o está lloviendo.
d) Está lloviendo o no está haciendo frío.
e) Ni está haciendo frío ni está lloviendo.
5) Con las leyes del álgebra proposicional simplificar:  p  q  p

Solución:
 p  q  p  p   p  q conmutativ a
  p  p    p  q distributi va
como p  p  F complement o
 F   p  q identidad
 pq
EJERCICIOS PROPUESTOS DE LOGICA PROPOSICIONAL
1) Sean p: “Cinco es mayor que diez” y q: “Dos más dos son cuatro”. Describir
con un enunciado verbal las siguientes proposiciones.
a) p
b) pq
c) p q
d) q p
e) p  q
f) p  q
2) Sean p: “Pedro habla inglés” y q: “Pedro habla francés”. Dé una frase

sencilla que describa lo siguiente:
a) p q
b) pq
c) p  q
d) p q
e) p
f)  (p q)
3) Construya la tabla de verdad asociada a las siguientes proposiciones:
a) (p  p) p
b) (p  q) p
c) p  (p  p)
d) (p  q) (p  q)
e) p  (q p)
f) (p  q) r
g) [(p q)  q]p
h) (p r)  (q  s)
i) [(p  q)r] (r s)
j) [(p q)r]q
k) {[(p q)  (p r)] (r p)}  (p q)
l) {[(p q) (r s)] (r p)} (p q)
4) Cuales de las siguientes proposiciones son tautologías:
a) (p q)  (p q)
b) p  (p q)
c) (p  q)  (q p)
5) Identificar las proposiciones simples, los conectivos, escribir en forma
simbólica y determinar la verdad de cada uno de los siguientes enunciados:
a) Si 3 + 2 = 7, entonces 4 + 4 = 8
b) No es verdad que 2 + 2 = 5, si y sólo si, 4 + 4 = 10
c) París está en Inglaterra o Londres está en Francia.
d) No es verdad que 1 + 1 = 3 o que 2 + 1 = 3
e) Es falso que si París está en Inglaterra, entonces Londres está en
Francia.
6) Demostrar las siguientes equivalencias:

i) Construyendo la tabla de verdad
a) p  p p
b) p  q q  p
c) p  (p q) V
d) p  ( p q)  p q
e) p  (p q) p
f) (p q) p p q
g) (p q)  (p q)p q
h) (p  r)  (q  r)  (p r)  q
i) (p q) (p  q) V
j) (p q) q p  q
7) La conectiva es la conjunción negativa; p q se lee “Ni p ni q”

p q  p q
a) Construir la tabla de verdad p  q
b) Demostrar las siguientes equivalencias:
i) Construyendo la tabla de verdad
I) p  p p
II) p q (p p)q q)
III) p q p q)  (p  q)
8) Si p es una proposición verdadera, q una proposición falsa, determinar el

valor de verdad de:
a) (p q) q
b) (p q) q
c) (p q)  (p q)
9) Demostrar que las siguientes proposiciones son tautologías.
Simplifique aplicando el álgebra de proposiciones.
a) p p
b) p p
c) (p q) p
d) p  (p q)
e) [p  (p q)] q
f) (p q)  [p  (q r)]
g) (p q)  [(p  r)q]
h) [(p  r)q] (p  q)
i) [p  (q r)]  (p q)
j) (p  q) [(p r) (q  r)]
10) Con las leyes del álgebra de proposiciones simplificar:

a) p   p  q b)  p  q   p  q
11) Indique si es verdadero o falso:

a) p  p  q
b) p  p  q
c) q  p  q
d)  p  q  q  p 
e) p  p  q
12) Si se sabe que p  q V qrF.

Determinar el valor de verdad de r  q  r  q
13) Sea p  q  F ; r  p  F
Determinar el valor de verdad de: pr
14) Si  p  q es falsa. ¿Cuál es el valor de verdad de:

a)  p  q  q
b)  p  q  p
c) q  p   q
15) Si p es V, q es F, r es V, anotar el valor de verdad de:
a)  p  q   r
b)  p  q   r
c) (q  p)  q
16) Si p es V, q es F , r es V, anotar el valor de verdad de:

a) ( p  q)  r
b) ( p  q)  r
c) ( p  r )  (q  p)
17) Juego lógico:
Piense un número de tres cifras y luego repita el número para formar uno
de seis cifras
1° divida este número por 7
2° el resultado divídalo por 11
3° divida el resultado por 13 ¿Qué ocurre?
18) Según los siguientes enunciados descifre los argumentos lógicos;

a) p= la fresadora es más versátil que el torno
q= el torno es más rápido para hacer ejes
pq
b) p= Pablo trabaja en la fresadora
q= Pablo trabaja en el torno
pq ; pq
c) p= Carlos hace roscas métricas

q= Carlos no sabe hacer roscas whitwort
q p
d) p= los machos sirven para hacer hilos interiores

q= los dados sirven para hacer hilos exteriores
pq
e) p= el torno CNC tiene mayor producción de piezas

q= el torno convencional es lento
p  ( p  q)
f) p= el torno sirve para hacer piezas cilíndricas

q= la fresadora sirve para fabricar engranajes
p  q  ( p  p)
19) Dada la siguiente expresión escríbala en símbolos:

"La calculadora es una herramienta de alta tecnología y los alumnos la usan en
sus tareas, sólo si, no es materia de lectura o educación física".
20) Dadas las siguientes proposiciones;

P= comprar es una actividad importante
Q= es indiferente a las marcas
R= realiza extensas comparaciones de precios

S= disfruta comprando
Escriba con palabras la expresión: ( P  S )  (Q  R)  S 
21) Reducir aplicando álgebra de proposiciones:

p   p  (q   p)
22) Determinar los valores veritativos de p,q y r si;

 p  q   p  r    p  r  es falso.
23) Determine el valor de la expresión;
(x  R / x  3  x)  (x  R / x  4  0 )
24) Si se sabe que p  q es falso, y q  p  es falso. Determine el valor de

verdad de:
a)  p  r    p  q   q  r 
b)   p  r   ( p  q)  (q  r )
Soluciones:
1) a) Cinco no es mayor que diez.
b) Cinco es mayor que diez y dos más dos son cuatro.
c) Cinco es mayor que diez o dos más dos son cuatro.
d) Dos más dos son cuatro o cinco no es mayor que diez.
e) Cinco es mayor que diez si y sólo si dos más dos no son cuatro.
f) Cinco es mayor que diez, entonces dos más dos no son cuatro.
2) a) Pedro habla inglés o francés.
b) Pedro habla inglés y francés.
c) Pedro habla inglés pero no francés.
d) Pedro no habla inglés o no habla francés.
e) No es cierto que Pedro no hable inglés.
f) No es cierto que Pedro no hable inglés o no hable francés.
3)
a) V b) V c) F d) V e) F f) V g) V h) F i) V j) V k) F l) V
V V V V F F V V V F V V
V V F V V F V V F V
V V V V V V V V F F
V F V V F F
V F V F V F
V F V V F F
V F V V F F
V V F
V V F
F V V
V V F
V V F
V V F
F V V
F V F
4) a) y c) son tautologías.
5)
Proposición simple Forma Sentido lógico
p q simbólica
a) 3+2=7 4+4=8
p q Verdadero
b) 2+2=5 4 + 4 = 10  ( p  q) Falso
c) París está en Londres está en p q Falso
Inglaterra Francia
d) 1+1=3 2+1=3  ( p  q) Falso
e) París está en Londres está en  (p q) Falso
Inglaterra Francia
-“CONJUNTOS”
Definición de Conjuntos: es toda colección, agrupamiento, clasificación de

objetos que pasan a llamarse elementos del conjunto.
 Los conjuntos se denotan por letras mayúsculas A, B, C y sus elementos por

letras minúsculas a, b, c.
 Gráficamente se denotan por un óvalo que encierra a sus elementos.
Ej: A = {a, b, c} Diagrama de Venn- Euler
A
a.
b.
c.
Conjunto Vacío: conjunto que no contiene elementos., se designa por 
Conjunto Universo o de Referencia: conjunto formado por todos los elementos

de una característica, contiene a todos los elementos. Se denota por la letra U y
gráficamente se representa por un rectángulo.
U
A
Definición de un Conjunto: un conjunto se puede definir de 2 formas.
1) Por extensión: se nombran todos sus elementos.

Ejemplo: a) Conjunto de los números dígitos.
D = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
b) Números naturales menores que 5.
A= {1, 2, 3, 4}
2) Por Comprensión: indicando una cualidad particular de los elementos que

forman el conjunto.
Ejemplo: a) Conjunto de los números dígitos.
D = {x/x es dígito}
b) Números naturales menores que 5.

A = {x/x < 5, x  N}
Pertenencia si en un conjunto B, está presente el elemento b, se dice que “b

pertenece a B” y se denota por bB. Si el elemento d no se encuentra en B, se
dice que “d no pertenece a B” y se denota por dB.
Subconjunto: si todos los elementos de un conjunto B, son también elementos de

un conjunto A, se dice que “B es un subconjunto de A” y se denota por BA.
 Gráficamente se tiene:
U
BA
A B Si xB  xA
 Todo conjunto es subconjunto del Universo.
 El conjunto vacío se considera subconjunto de todo conjunto.
Familia de Conjuntos: Es aquel conjunto cuyos elementos son conjuntos.
Ej: F = {{1, 2}, {5}, } es una familia de conjuntos.
Es decir, {1, 2}  F {{1, 2}}  F
Conjunto Potencia de A: es una familia de todos los subconjuntos de A y se

denota por P(A). (n número elementos de A, 2n número de subconjuntos de A).
Ej: Si A = {a, b, c} n = 3  23 = 8
P(A) = { , {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}
OPERACIONES ENTRE CONJUNTOS
1) UNION: Unión entre dos conjuntos A y B, es el conjunto que contiene todos

los elementos de A y todos los elementos de B, considerando una sola vez
los elementos repetidos.
Lo achurado corresponde a (AB)

A  B = {x / xA  xB}
Propiedades: 1) AA =A
2) AB =BA
3) (A  B)  C = A  (B  C)
4) A  (A  B)
5) B  (A  B)
2) INTERSECCION: Es el conjunto formado por los elementos comunes a

todos los conjuntos.
Lo achurado corresponde a (A  B)
A  B = {x / xA  xB}
Propiedades: 1) AA =A
2) AB =BA
3) (A  B)  C = A  (B  C)
4) (A  B)  A
5) (A  B)  B
6) A  (B  C) = (A  B)  (A  C)
7) A  (B  C) = (A  B)  (A  C)
Nota: Si dos conjuntos presentan intersección vacía se dice que son conjuntos
disjuntos.
3) COMPLEMENTO DE A: se define con respecto a un conjunto universal y es

el conjunto formado por todos los elementos que pertenecen al conjunto
universal y no pertenecen al conjunto A, se denota por A c , A’, etc.
Lo achurado corresponde a A’
A’ = {x / xU  xA}
Propiedades: 1) A  A’ = U
2) A  A’ = 
3) U’ = 
4) ’ = U
5) (A’)’ = A
6) A’  B’ = (A  B)’
7) A’  B’ = (A  B)’
4) DIFERENCIA entre dos conjuntos A y B: corresponde al conjunto formado

por los elementos que pertenecen al conjunto formado por los elementos
que pertenecen a A y no pertenecen a B. Se denota por A – B.
Lo achurado corresponde a A – B
A – B = {x / xA  xB}
EJERCICIOS PROPUESTOS DE CONJUNTOS
1) Determine los elementos que correspondan en cada caso, aplicando la

operatoria conjuntista: (N)
U = x / x es múltiplo de 2, 2 x 24 
A = xN / x es par, 2  x  10 
B = xN / x es múltiplo de 4; 2 x 24 
a) U - A b) A  B c) A - B d) (A  B) e) (A  B)
2) Haga un diagrama de Venn que represente los conjuntos

A = 1,3,5,7 B = 2,4,5,6 C = 1,7
3) Si A = xN / x es divisible por 5; 5  x  30

B = xN / x es divisible por 10; 5  x  30
Determine:
a) A  B b) Haga un diagrama para A – B
4) Sea A = x / x es letra de la palabra “repiquetero”

B = x / x es letra de la palabra “traqueteo”
C = x / x es letra de la palabra “tranque”
Hallar:
a) (A – C)  B b) (B  C)  A c) (A  B)  (A  C)
5) Si U = xN / 2  x  10, A = xN / 5  x  8, B = xN / 4  x  10
Calcular:
a) A – B b) (A  B) c) B - A d) A  (B  A)
6) ¿Qué expresión representa la parte sombreada?
I) (A  B) - (A  B) II) (A  B)  (A  B) III) (A - B)  (B - A)
a) sólo I
b) sólo II
c) I y II
d) I y III
e) II y III
7) Haga el diagrama que corresponda a las condiciones que se indican para cada
caso;
a) A  B; C  B; A  C  
b) A  C; A  B = ; C  B  
c) A  B; (B  C)  ; (A  C) = 
d) (A  B)  C; A  C; (B  C) = B
8) Sombree la condición que se indica:
a) A  B  A b) A'B c)  A  B   B  A
d)  A  B '  A e) B  A '  A f) A  B  A  B
g) B' A h) A'  B  A i)  A  B   A  B '
j) A  C  B k)  A  B   C  B  l) A  B  C 
m) A  B  C n) A  C  B ñ) B  C  '  A
o) A  B  C  p)  A  B  C  ' q) (A  B) ’  C
9) Reconozca el área sombreada y exprésela en términos de operación

conjuntista
a) b) c)

Logica Proposicional

Cargado por

Copyright:

Formatos disponibles

Logica Proposicional

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica Proposicional

Cargado por

Copyright:

Formatos disponibles

Prof:Jeanette Reyes R

Proposición: Es un concepto primitivo, que no se define.

 Proposición Simple: es aquella que no esta vinculada a ninguna otra.

1er Principio: El valor de verdad de una proposición:

2do Principio: Negación.

Tabla de verdad Para n proposiciones simples, las entradas a la tabla son 2 n.

 Proposición Compuesta: esta formada por proposiciones simples que están

Conjunción Disyunción Condicional Bicondicional

Clasificación de una Proposición Compuesta:

1) Tautología: Una proposición es una tautología o teorema lógico si su tabla

2) Contradicción: Una proposición es una contradicción si su tabla de verdad

3) Contingencia: Una proposición es una contingencia si la tabla de verdad

Ejemplo: Construir la tabla de verdad asociada a las siguientes proposiciones:

p q p q p p q p  (p  q)

Equivalencia lógica: Dos proposiciones se dicen lógicamente equivalentes si sus

Por Ej.: 1) p  q  p q Definición condicional

LEYES DEL ALGEBRA DE PROPOSICIONES

Las equivalencias se pueden demostrar construyendo la tabla de verdad.

EJERCICIOS RESUELTOS DE LOGICA PROPOSICIONAL

1) Identificar las proposiciones simples, los conectivos y escribir en forma

“Las rosas son rojas y las violetas azules”

Solución: p: Las rosas son rojas

2) Construya la tabla de verdad asociada a la siguiente proposición

3) Demostrar la siguiente equivalencia: p  (~p  q)  p  q

a) Construyendo la tabla de verdad

4) Sea p: “Hace frío” y sea q: “Está lloviendo”. Dé una frase verbal

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

5) Con las leyes del álgebra proposicional simplificar:  p  q  p

EJERCICIOS PROPUESTOS DE LOGICA PROPOSICIONAL

2) Sean p: “Pedro habla inglés” y q: “Pedro habla francés”. Dé una frase

3) Construya la tabla de verdad asociada a las siguientes proposiciones:

4) Cuales de las siguientes proposiciones son tautologías:

6) Demostrar las siguientes equivalencias:

7) La conectiva es la conjunción negativa; p q se lee “Ni p ni q”

8) Si p es una proposición verdadera, q una proposición falsa, determinar el

10) Con las leyes del álgebra de proposiciones simplificar:

11) Indique si es verdadero o falso:

12) Si se sabe que p  q V qrF.

14) Si  p  q es falsa. ¿Cuál es el valor de verdad de:

16) Si p es V, q es F , r es V, anotar el valor de verdad de:

18) Según los siguientes enunciados descifre los argumentos lógicos;

c) p= Carlos hace roscas métricas

d) p= los machos sirven para hacer hilos interiores

e) p= el torno CNC tiene mayor producción de piezas

f) p= el torno sirve para hacer piezas cilíndricas

19) Dada la siguiente expresión escríbala en símbolos:

20) Dadas las siguientes proposiciones;

R= realiza extensas comparaciones de precios

Escriba con palabras la expresión: ( P  S )  (Q  R)  S 

21) Reducir aplicando álgebra de proposiciones:

22) Determinar los valores veritativos de p,q y r si;

24) Si se sabe que p  q es falso, y q  p  es falso. Determine el valor de

Definición de Conjuntos: es toda colección, agrupamiento, clasificación de

 Los conjuntos se denotan por letras mayúsculas A, B, C y sus elementos por

Ej: A = {a, b, c} Diagrama de Venn- Euler

Conjunto Universo o de Referencia: conjunto formado por todos los elementos

Definición de un Conjunto: un conjunto se puede definir de 2 formas.

1) Por extensión: se nombran todos sus elementos.