1

MÓDULO: LÓGICA Y MATEMÁTICA COMPUTACIONAL

DOCENTE: XIMENA NERCELLAS LIZAMA
UNIDAD II: LÒGICA

GUÍA N º 2: ELEMENTOS DE LÓGIGA PROPOSICIONAL

I. TABLAS DE VERDAD DE LOS OPERADORES LÓGICOS

Las condiciones lógicas de los conectivos se determinan a partir de los valores de verdad de
las proposiciones simples y están dadas por las siguientes TABLAS DE VERDAD:
1. Negación: Afecta a una sola proposición, por eso se dice que es un operador monádico que
cambia el valor de verdad de una proposición

p ∼p
V F
F V
2. Conjunción: Vincula dos proposiciones simples mediante el conectivo lógico “y”
p q p ∧q
V V V
F V F
V F F
F F F
3. Disyunción: Vincula dos proposiciones simples mediante el conectivo lógico “o”
p q p∨q
V V V
F V V
V F V
F F F
4. Disyunción excluyente: Vincula dos proposiciones simples mediante el conectivo lógico
“o……, o……”
p q p ∨q
V V F
F V V
V F V
F F F
5. Condicional (Implica): Vincula dos proposiciones simples mediante el conectivo lógico
“Si ………., entonces …………”
p q p ⇒q
V V V
F V V
V F F
F F V
En este caso se puede afirmar que la primera proposición es condición necesaria y
suficiente para que ocurra la segunda
6. Bicondicional: Vincula dos proposiciones simples mediante el conectivo lógico “………
si y sólo si ……….”
p q p ⇔q
V V V
F V F
V F F
F F V
La bicondicional corresponde a una doble implicancia o implicancia hacia ambos lados.
 2
II. OPERACIONES LÓGICAS
La validez de una proposición compuesta depende de los valores de verdad de las
proposiciones simples que la forman y se puede determinar mediante las llamadas tablas de
verdad, en consecuencia, las tablas de verdad permiten verificar si una proposición
compuesta es verdadera o falsa analizando las proposiciones simples que la componen y los
conectivos que las relacionan.
Las combinaciones posibles de los valores de verdad de una proposición compuesta, depende
del número de proposiciones simples involucradas en ella y se determina mediante la fórmula
2n donde n representa la cantidad de proposiciones simples, lo anterior significa que si una
proposición compuesta tiene 4 proposiciones simples distintas, entonces la tabla de verdad de
dicha proposición compuesta tendrá 2 4 filas, es decir 16 filas.
EJEMPLO: Si se dice: “Está lloviendo y hace frío” el enunciado corresponde a “p ∧ q”, la
tabla de verdad tendrá 4 filas debido a que las proposiciones simples son 2, por lo tanto 2 2 = 4.
En este caso la proposición compuesta será verdadera sólo si ambas lo son.

III. TABLAS DE VERDAD DE PROPOSICIONES COMPUESTAS

Si se tiene la proposición compuesta: “Si Andrés tiene prueba y está estudiando, espera una
buena nota”.
En ella se distinguen 3 proposiciones simples:
p: Andrés tiene prueba q: Andrés está estudiando r: Andrés espera una buena nota
en consecuencia la traducción al lenguaje lógico proposicional es: (p ∧ q) ⇒ r
La tabla de verdad asociada a la proposición compuesta tendrá 8 filas, ya que al tener 3
proposiciones simples el número de combinaciones de los valores de verdad corresponden a
23 o sea 8.
En este caso la tabla de de verdad corresponde a:

p q r p ∧q (p ∧ q) ⇒ r
V V V V V
F V V F V
V F V F V
F F V F V
V V F V F
F V F F V
V F F F V
F F F F V

IV. CLASIFICACIÓN DE LAS PROPOSICIONES COMPUESTAS

Al calcular la tabla de verdad de una operación lógica, ésta puede resultar ser Contingencia,
Tautología o Contradicción.
Estos nombres se determinan considerando los valores de verdad que se obtienen al finalizar el
análisis de la proposición compuesta
1) Contingencia: Se denomina a la que en la columna final de la tabla aparecen verdaderos y
falsos.
2) Tautología: Es aquella que cualquiera que sea la combinación de los valores de verdad de las
componentes el resultado final es siempre verdadero.
3) Contradicción: Es aquella que independiente de los valores de verdad de las componentes
siempre resulta falso en la columna final para todas las combinaciones.
En el caso del ejemplo anterior, la proposición compuesta corresponde a una Contingencia.
 3
GUÍA DE EJERCICIOS

I. Determine el valor de verdad de las siguientes proposiciones :

p: 5 es un número primo q: 8 es un número impar r: 4 es divisor de 12
s: 9 es múltiplo de 3 t: 32 = 6 m: -7 es sucesor de -6
I. Considerando las proposiciones anteriores, determine el valor de verdad de :
1. ∼ m 9. q ∧r
2. r ⇔p 10. q ⇒ ∼ s
3. r ∨s 11. p ⇒ ( t ∨q)
4. ( r ⇒ p) ∨s 12. (t ∧q) ⇔ p
5. p ∨s 13. t ∧q
6. ∼ p ⇔s 14. t ∨r
7. ∼ m ∧t 15. (m ∧∼ s) ⇒ q
8. ∼ ( ∼ q ∧r ) ⇒ s 16. ( ∼ p ⇔ s ) ∧(∼ s ⇒ q )
II. Construya las tablas de verdad de las siguientes proposiciones compuestas y clasifíquelas.
1. p ⇒ (p ∨q) 6. p ∧∼ p
2. (p ⇒ q) ∧r 7. {(p ∧q) ∨r} ⇒ ∼ q
3. (p ⇒ q) ∨(q ⇒ p) 8. (p ⇒ q) ⇔ (∼ p ∨q)
4. {(p ∧q ) ∨r} ⇒ (∼ r ∨p) 9. [(p ∨q) ∧∼ p] ⇔ [(p ∧q ) ∨∼ q]
5. p ⇔ (q ∨∼ p) 10. {p ∨(q ∧ r)} ⇔ {(p ∨q) ∧(p ∨r)}
III. Determine el valor de verdad de las siguientes proposiciones compuestas:
1. (3 + 2 = 5) ∨ (7 2 = 14 )

2. Si 4 − 1 = 3 , entonces 2 − 10 = 8
3. ( 7 ⋅8 = 56 ) ∧ ( − 9 > −6)
4. San Felipe está en la quinta región o Los andes está en la región metropolitana

5. (15 : 2 = 7) ⇔ 1 + 1 = 3 
 2 2
6. ( 5 · 2 = 8) ⇒ ( 3 + 3 = 6 )
 625 
7. (5 − 2 = 9) ⇔  4 = 0,3125 
2

 16 
8. Si los perros tienen alas, entonces ladran.
IV. Si la proposición compuesta p ⇒ ( r ∨ s ) es falsa, determine los valores de verdad de p, q y r.
V. Si la proposición compuesta (
( p ⇔r ) ∧ p ∧ q ) es verdadera, determine los valores de verdad de
p, q y r.
VI. Si la proposición compuesta ( p ∨ q ) ∨ q es falsa, determine los valores de verdad de p y q.
VII. Si se sabe que las proposiciones p ∧ q y q ⇒ t son falsas, determine el valor de verdad de:

1. (q ∨t ) ∨q
2. ∼ [ p ∧ ( ∼ q∨ ∼ p )]

3. [ ( p ⇒ q ) ∧ ∼ ( q ⇔ t ) ]∨ ∼ p
4. [( p ⇒ q) ∧ ∼ ( q ∧ t ) ] ⇔ [ ∼ p ∨ ( q∧ ∼ t )]
SOLUCIONES
I. p : V q:F r:V
 4
s:V t:F m:F
II. Valores de verdad de:
1) V 5) V 9) F 13) F
2) V 6) F 10) V 14) V
3) V 7) F 11) F 15) V
4) V 8) V 12) F 16) F
III. Tablas de verdad
1) Tautología.
2) Contingencia, VVFVFFFF
3) Tautología
4) Contingencia, VFVFVVVV
5) Contingencia, VFFF
6) Contradicción
7) Contingencia, FFVVFVVV
8) Tautología
9) Contradicción
10) Tautología

IV. Valores de verdad:

1) V 3) F 5) F 7) V
2) F 4) V 6) V 8) V
V. p :V q : F r : F
VI. p : F q : V r : F
VII. p : V q : F
VIII. 1) F 2) V 3) V 4) V