Taller 1: Matemáticas Discretas

Realizado por: Valentin Agudelo Aquite

Realizar los siguientes ejercicios detalladamente y sustentando cada uno.

1. Negar las siguientes proposiciones

a. 12 es un número par
R=/
p = 12 es un número par
¬p = 12 no es un número par
P ¬P

V F

F V

2. Sea p: “El es fuerte” y q: “El es inteligente”. Escribir en forma simbólica los siguientes
enunciados:
a. El es fuerte e inteligente.
R=/
p = El es fuerte
q = El es inteligente
El es fuerte e inteligente. = p ^ q

p q p^q
V V V
V F F
F V F
F F F

3. Sabiendo que p es falsa, q es verdadera y r es falso, hallar el valor de verdad de las

siguientes proposiciones compuestas por medio de la tabla de verdad.
a.  (p  q)  (p  q)
R=/ el valor de verdad de la proposición es F
p q  (p  q) (p  q)  (p  q)  (p  q)
F V V F F
4. Comprobar por medio de una tabla de verdad que las siguientes esquemas compuestas
son tautologías, contingentes o contradictorios.
a. (p  q)  ( q  p)
R=/ Es una contingencia ya que su valorar de verdad puede ser verdadero o falso
p q (p  q) ( q  p) (p  q)  ( q  p)
V V V V V
V F V F F
F V V F F
F F F F V

5. Probar la validez de los siguientes razonamientos. (Deductivamente, Enumerando los

pasos y poniendo al frente la regla de deducción aplicada)
a. ¬p
-----------
¬ ( p  q )
R=/
En el anterior ejercicio se aplicando la regla de adición, la cual nos dice que puedo
agregar cualquier otra proposición siempre y cuando se haga con el conectivo de
la disyunción, por lo que el resultado debería ser el siguiente:
¬ p V ¬q
pero a este último podemos aplicarle la ley de De Morgan, por lo que podemos
afirmar que:
¬ ( p  q )  (¬ p) V (¬q)
De esta forma podemos concluir que el razonamiento anterior es válido.