Evaluación Final (A) 2019 – 10 - B

Semipresencial – Programa a Distancia

Asignatura

Matemática Discreta

Nombres y Apellidos: Alexander Camala Nina

Código de Estudiante 4 7 2 1 4 9 3 5 NRC 1 1 2 3 4

Instrucciones:

Lea atentamente los siguientes casos y desarróllelos con paciencia, siempre interpretando
y utilizando las leyes lógicas que se han estudiado en estas unidades, el desarrollo,
Practicas de inducción matemática y Autómatas de estados finitos, adicional a esto se les
entregara un formulario para que puedan desarrollar preguntas de leyes lógicas

1. En el marco de la lógica proposicional formule el siguiente enunciado:

Aristóteles nació en Estragara y fue tutor de Alejandro Magno. Pero si nació en
Estagira fue de nacionalidad macedónica. Por tanto, Aristóteles fue de nacionalidad
macedónica. (4 Pts.)

Convenciones simbólicas:

 p: Aristóteles nació en Estagira.

 q: Aristóteles fue tutor de Alejandro Magno.
 r: Aristóteles era macedonio por su nacionalidad.

Formalización:

 (p ∧ q) ∧ (p → r) → r
 Matemática Discreta

2. Utilizando las leyes lógicas simplificar lo siguiente

(qp)[(p v q) (q ^ ~ p)
(4 Pts.)

3. Demostrar mediante inducción matemática que:

2 + 4 + 6 + 8 + … + 2n = n (n+1) (4 Pts.)

Evaluación Final 2019 – 1 Página 2

 Matemática Discreta

4. Si: I = {a, b, c}, O = {0, 1, 2}, S = {σ0, σ1, σ2, σ3}

(4 Pts.)

f g

I
a b c a b c
S

σ0 σ1 σ0 σ2 1 1 2

σ1 σ0 σ2 σ2 2 0 0

σ2 σ3 σ3 σ0 1 0 1

σ3 σ1 σ1 σ0 2 0 2

Dibuje el diagrama de transición de la máquina de estado finito (I, O, S, f, g, σ0).

Evaluación Final 2019 – 1 Página 3

 Matemática Discreta

5. En la siguiente máquina de estado finito, encuentre los conjuntos I, θ y S, el estado

inicial y la tabla que define las funciones de estado siguiente y salida. (4 Pts.)

Evaluación Final 2019 – 1 Página 4

 Matemática Discreta

Formulario:
ley

Involución o Doble ~(~p) ≡ p

negación

Idempotencia p^p≡p
pvp≡p

Leyes conmutativas p ^ q ≡ q ^p
pvq≡qvp

Leyes Asociativas (p^q)^r≡ p^(q ^r)

(pvq)vr≡ pv(q v r)

Leyes distributivas r v ( p ^ q ) ≡ ( r v p ) ^ (r v q )
r ^ ( p v q ) ≡ ( r ^ p ) v (r ^ q )

Leyes de Morgan ~( p ^ q ) ≡ ~p v ~q
~( p v q ) ≡ ~p ^ ~q

Leyes del condicional p →q ≡ ~p v q

~ (p →q) ≡ p ^ ~q

Leyes del bicondicional p↔q≡(p→q)^(q→p)

p ↔ q ≡ ( p ^ q ) v ( ~p ^ ~q )

Leyes de la absorción p^(pvq)≡p

p ^ ( ~p v q ) ≡ p ^ q
pv(p^q)≡p
pv(~p^q)≡pvq

Leyes de transposición p → q ≡ ~ q → ~p
p ↔ q ≡ ~ q ↔ ~p

Ley de exportación ( p ^ q ) → r ≡ p → ( q → r)

Elemento neutro p^T≡P

pvT≡T
PvC≡p
p ^C≡C
C=Contradicción T= Tautología

Evaluación Final 2019 – 1 Página 5

 Matemática Discreta

Evaluación Final 2019 – 1 Página 6