Institución Universitaria Pascual

Bravo
Matemáticas Discretas
Lógica Proposicional
TALLER _1

Recuerde que:

1. Una proposición es un enunciado del que se puede decir que es verdadero o falso.
2. El valor de verdad de una proposición es la veracidad o falsedad de está.
3. Una proposición compuesta, son dos proposiciones unidas mediante unos símbolos denominados conectivos lógicos.

4. La siguiente tabla muestra los diferentes conectivos de la lógica proposicional con su respectivo nombre, símbolo,
notación y lectura.

NOMBRE SÍMBOLO NOTACÍÓN LECTURA

CONJUNCIÓN  pq p yq
DISYUNCIÓN  pq p oq
DISYUNCIÓN EXCLUSIVA  pq p o q , pero no ambas
IMPLICACIÓN pq p implica q

CONDICIONAL Si p entonces q
DOBLE IMPLICACIÓN
pq p si y sólo si q
EQUIVALENCIA 
p es equivalente a q
BICONDICIONAL
NEGACIÓN   p No p; es falso que p

La siguiente tabla muestra los valores de verdad de las proposiciones compuestas para cada uno de los diferentes conectivos.

p q pq pq pq pq pq p

V V V V F V V F
V F F V V F F F
F V F V V V F V
F F F F F V V V

5. Si los valores de verdad obtenidos en una tabla son todos verdaderos se dice que la proposición compuesta es una
tautología. En el caso en que los valores de verdad sean todos falsos se le denomina falacia o contradicción.
6. Un razonamiento lógico es un razonamiento en el cual a partir de una serie de enunciados llamados premisas, se
obtiene un resultado llamado conclusión.

Ejercicios

Cuáles de los siguientes razonamientos son válidos y cuáles no:

a) Si un número es impar, entonces no es divisible por 2.

13 es impar
13 no es divisible por 2
b) Si la última cifra de un número natural termina en 0 ó en 5, el número es divisible por 5.
40 es divisible por 5
40 termina en Cero
c) Si un número es múltiplo de 10 entonces es múltiplo de 5
25 es múltiplo de 5
25 es múltiplo de 10
 Institución Universitaria Pascual
Bravo
Matemáticas Discretas
Lógica Proposicional
TALLER _1

2. Cuáles de los siguientes enunciados son proposiciones?

a) 2 es un número par f) 21 es un número primo

b) Qué hora es? g) 2 es un número racional
c) El triángulo es una figura plana. h) Los productos notables y el triangulo de pascal
d) El conjunto vacío i) X 2 - y 2
e) 3/2 = 1 ½

3. Cuáles de las siguientes proposiciones son simples y cuáles compuestas?

a) 15 es impar y no primo
b) Si 12 es racional entonces 12 + 1 es racional
c) 10 es múltiplo de 5
d) El cuadrado de un número real siempre es no negativo

4. Determine la negación de las siguientes proposiciones:

a) 9 3 es impar
b) 19 es múltiplo de 19
c) 4 2 + 4 + 16 = (6)(6)
d) El conjunto vacio es aquel que no tiene elementos

5. Indique si la segunda proposición es negación de la primera:

PRIMERA SEGUNDA
a) 4 < 4 2 4 > 42
1 3 3 1
b) 1 + = ≠ +1
2 2 2 2
5 5
c) es un número racional no es un número racional
2 2
d) 14 es múltiplo de 7 14 es divisor de 7

6. Cuáles de las siguientes proposiciones son falsas y cuáles verdaderas:

a) 4 < 5 y 5 < 4 ( )
b) 8 es un entero negativo y natural ( )
c) 3 es divisor de 13 y 13 es múltiplo de 3 ( )
d) 3 2 = 6 + 3 y 4 2 = 8 + 4 + 4 ( )

7. Dadas las siguientes proposiciones :

p : 2 es par r : 6 es múltiplo de 3
q : 4 es primo s : 10 es divisible por 2

Escriba el significado de c/u de las siguientes proposiciones (si son V ó F)

a) p ^ q ( ) d) q ^ r ( )
b) q ^ p ( ) e) ~q ^ ~s ( )
c) s ^ r ( ) f) ~s ^ q ()
 Institución Universitaria Pascual
Bravo
Matemáticas Discretas
Lógica Proposicional
TALLER _1

8. Cuáles de las siguientes proposiciones son verdaderas y cuáles falsas:

a) ∏ es un número racional ó entero ( )

b) 2 2 = -4 ó 3 2 = -9 ( )
c) 2 es primo ó es par ( )
d) 2 es divisible por 2 ó es impar ( )
e) Los parques sirven para divertirse o para descansar ( )
f) 2 es entero o natural ( )

9. Identifique cuáles de las siguientes proposiciones se refieren a una disyunción inclusiva y cuáles a
disyunción exclusiva.

a) 5 es impar ó es par DI DE___

b) 19 es positivo o negativo DI DE___
c) Está lloviendo ó está haciendo frio DI DE___
d) 12 es divisible por 2 ó por 3 DI DE___

10. Encuentre el valor de verdad de las siguientes proposiciones condicionales:

a) Si ¾ es positivo entonces ¾ > -1 ( )

b) Si 5 es primo entonces 10 es primo ( )
c) Si (-5) 3 es positivo entonces (-5)2 es positivo ( )
d) Si 2 3 = 6 entonces 3 2 = 6 ( )

11. Hallar el valor de verdad de las siguientes proposiciones:

a) 100 es divisible por 5 si y solo si termina en cero ó en cinco ( )

b) 9 es impar si y solo si es primo ( )
c) 7 2 - 5 2 = 2 2 si y solo si 7 2 - 5 2 = 24 ( )
d) La suma de dos números impares es par si y solo si la suma de dos pares es impar ( )

12. Construya la tabla de verdad de:

a) ( p  q)  ( p Λ q)
b) ~p  (q  p)
c) ( p  q) V ~ ( p  ~ q)
d) [ ( p  q) Λ p ]  q

13. Determine a que corresponde, (falacia, tautología o indeterminación) cada una de las siguientes
proposiciones:
a) ( p Λ q) Λ ~ ( p V q)

b) p  q p q

c) [ ( p Λ q) Λ s ]  [ p Λ ( q Λ s) ]