Está en la página 1de 3

Universidad

Continental

PRÁCTICA DIRIGIDA 202010


ASIGNATURA
MATEMÁTICA DISCRETA

DOCENTE : Mg° Juan Alberto Lira Mamani


FACULTAD : Ingenierías
CÓDIGO DEL ALUMNO : 41396093
APELLIDOS Y NOMBRES : RODRIGUEZ ORTIZ, EDWIN FRANCISCO

INSTRUCCIONES:

• La práctica dirigida tiene una duración efectiva de 50 minutos.


• Se calificará procedimiento y respuesta.
• Evite los borrones y/o enmendaduras porque invalidan su respuesta.
• Use lapicero negro o azul, si resuelve con lápiz no tiene derecho a reclamo.
• Prohibido usar tablets, celulares, Ipads durante el desarrollo de la prueba

1. Utilizando cuantificadores realizar la siguiente notación lógica: (4 puntos)


1.1. Negar que existe un x ∈ A, tal que se verifica P(x); equivale a decir que; Ningún x
∈ A, verifica P(x), ó que: Todo x, no verifica P(x); simbólicamente:

~ [ⱻx ∈ A / P(x)]  Ɐx ∈ A / ~ P(x)


1.2. Negar que para todo x ∈ A, verifica P(x), equivale a decir que: Para algunos x ∈ A,
no se verifica P(x); simbólicamente:

~ [Ɐx ∈ A / P(x)]  ⱻx ∈ A / ~ P(x)

A continuación, se presentan algunas reglas de inferencia, útiles para este curso

Regla Nombre
p Λ (p ―› q) => q Modus ponendo ponens
~q Λ (p ―› q) => ~p Modus tollendo tollens
(p v q) Λ ~p => q Silogismo disyuntivo
(p v q) Λ ~q => p
(p ―› q) Λ (q ―› r) => (p ―› r) Silogismo hipotético
(p Λ q) => p Ley de simplificación
(p Λ q) => q
p => p v q Ley de adición
p, q => p Λ q Ley de conjunción
(p ―› q) Λ (~p ―› q) => q Ley de casos
Tabla 1. Reglas de inferencia lógica
Lógica proposicional Álgebra de Boole
V 1
F 0
Λ X
V +
~ !
↔ =
p, q, r,... a, b, c, ...
Tabla 2 Equivalencias entre la lógica proposicional y el álgebra de Boole

Circuito paralelo: Y=S1+S2

Circuito serie: Y=S1 x S2.

Ejemplos:

2. Utilizando intercambio de cuantificadores halle el equivalente de: (3 puntos)


a. Todo estudiante en esta clase ha estudiado pre cálculo.
Ɐe : Todo estudiante en esta clase
He : Ha estudiado pre calculo

(Ɐe) He
b. Algún estudiante en esta clase ha visitado Méjico.
ⱻe : Algún estudiante en esta clase
He : ha visitado Méjico

(ⱻe) He
c. Todos los estudiantes de la clase tomaron el curso de Java.
Ɐe : Todos los estudiantes de la clase
Te : Tomaron el curso de Java

(Ɐe) Te
3. Utilizando la simbología de cuantificadores halle el equivalente de: (5 puntos)

a. Algunos participantes del curso de Cálculo I son estudiosos


ⱻp : Algunos participantes del curso de Cálculo
Sp : son estudiosos

(ⱻp) Sp
b. La mayoría son mortales
ⱻm : La mayoría
Sm : son mortales

(ⱻm) Sm

PRACTICA DIRIGIDA Nº 03 Página | 2


c. Muchos niños temen a las serpientes
ⱻn : Muchos niños
Tn : temen a las serpientes

(ⱻn) Tn
d. Pocos Atletas de la tercera edad han llegado a la meta
ⱻa : pocos atletas de la tercera edad
Ha : han llegado a la meta

(ⱻa) Ha
e. Ninguno ha nacido en la selva
Ɐn : Ninguno
Hn : ha nacido en la selva

(Ɐn) Hn
4. Representar mediante circuitos eléctricos, la ley distributiva: (4 puntos)

S1 + (S2 x S3) = (S1+S2) x (S1+S3).


S1 S1
S1

S2 S3 S2 S3

5. Escribir la ecuación en el algebra Boole, del circulo que se dibuja a continuación (4puntos)

Respuesta: [(S1 x S2) + S3 + S4] x S5

PRACTICA DIRIGIDA Nº 03 Página | 3

También podría gustarte