Scribd
Cargar
263 vistas2 páginas

Taller de Lógica Matemática

Este documento presenta 5 ejercicios de lógica matemática resueltos por Valentin Agudelo Aquite. Los ejercicios incluyen negar proposiciones, escribir enunciados en forma simbólica, usar tablas de verdad para determinar valores de verdad de proposiciones compuestas, y probar la validez de razonamientos deductivos. Para cada ejercicio, Valentin provee detalles sobre cómo resolvió cada parte.

Cargado por

valentin agudelo aquite
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
263 vistas2 páginas

Taller de Lógica Matemática

Este documento presenta 5 ejercicios de lógica matemática resueltos por Valentin Agudelo Aquite. Los ejercicios incluyen negar proposiciones, escribir enunciados en forma simbólica, usar tablas de verdad para determinar valores de verdad de proposiciones compuestas, y probar la validez de razonamientos deductivos. Para cada ejercicio, Valentin provee detalles sobre cómo resolvió cada parte.

Cargado por

valentin agudelo aquite
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

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.

También podría gustarte