Taller 1

UNIVERSIDAD NACIONAL TECNOLÓGICA DE LIMA SUR
CARRERA PROFESIONAL: INGENIERIA ELECTRONICA Y TELECOMUNICACIONES EXAMEN GRUPAL

DE MATEMATICA BASICA Y MATEMATICA I
TEMA: LOGICA PROPOSICIONAL
TALLER N O 1
DOCENTE: LUCIO CACERES ESPINOZA
RECOMENDACIONES
 LA ENTREGA ES EL DIA SABADO HASTA 11.59 DE LA NOCHE

 REENVIAR EN PDF LA SOLUCION RESPECTIVA AL AULA VIRTUAL
 EL DESARROLLO DEBE DE SER DETALLADO, LA CALIFICACION DEPENDE DE COMO CADA
INTEGRANTE DEL GRUPO RESPONDE A LAS PREGUNTAS DE ACUERDO A LA RUBRICA
ENTREGADA EL PRIMER DIA DE CLASES
 ENVIAR SOLO EL RESPONSABLE DEL GRUPO INDICANDO LOS INTEGRANTES RESPECTIVOS
 CADA GRUPO DEBERAN ADICIONAR 10 EJERCICIOS DE LOS TEMAS TRATADOS EN CLASES CON
CIERTO GRADO DE COMPLEJIDAD, PARA EL CUAL UTILICE LA BIBLIOGRAFIA INDICA EL PRIMER
DIA DE CLASES:
Proposición. Clases. Conjunción, disyunción débil y fuerte, condicional, bicondicional, negación.
Tautologías, contradicciones y contingencias. Implicación lógica, equivalencia lógica.
Inferencia lógica. Leyes lógicas. Circuitos lógicos. Leyes lógicas. Circuitos lógicos. Circuitos en
serie y en paralelo
 EL LUNES SE EVALUARÁ DICHO TALLER GRUPAL, TRAER LA SOLUCION EN FISICO
 CADA GRUPO TRAER SU PLUMON RESPECTIVO PARA LA EVALUACION
BIBLIOGRAFIA
ALUMNO P1 P2 P3 P4 P5 P6 P7 P8 P9 P10 P11

P 12 P 13
Luis huaman castro X X X X
Renzo frassinetti X X X
seminario
Fabriccio cruz laime X X
Benjamin rodriguez lupa X X
Isaac mejia vasquez X X


TALLER N O 1
1. Cuáles de las siguientes proposiciones son equivalentes utilizando la tabla de verdad y el

algebra proposicional
a) ( p ∨q ) ∨( r ∧ p)
b) p ∆(r → q)
c) q→ p
2. dadas las siguientes proposiciones siguientes, determinar si son contingencia, contradicción o

tautología utilizando el algebra proposicional y tabla de verdad:
a) [( p → q)∨ p ¿ ∧p
b) ( p ∧q ) ∧(q → p)
c) p →[ ( q ∧ r ) ↔ ( q ∧ ( s ) ) ]
d) ( p →q ) → [ ( q ∧ r ) → ( r ∧ p ) ]
3. Demostrar las leyes del algebra proposicional y las implicaciones notables
4. En los siguientes verificar dichas inferencias utilizando los métodos estudiados en la clase
a) Sila tormenta continua o anochece, nos quedamos a cenar o a dormir; si nos
quedamos a dormir o a cenar no iremos mañana al concierto; pero si iremos mañana
al concierto. Así pues, la tormenta no continua
b) Si un triángulo tiene tres ángulos iguales, un cuadrado tiene cuatro ángulos rectos. Un
triángulo tiene tres ángulos y su suma vale dos ángulos rectos. Si los rombos tienen
cuatro angulos rectos, los cuadrados no tienen cuatro angulos rectos. Por tanto, los
rombos no tienen cuatro angulos rectos

TALLER N O 1
c) Si el gorila es atractivo, el gorila sonreirá abiertamente o será infeliz. Si no es feliz, no

procreara en cautividad. Por consiguiente, si el gorila es atractivo, entonces, si el gorila
no sonríe abiertamente, no procreara en cautividad
d) Si el ejercito marcha contra el enemigo, tiene posibilidades de éxito; arrasara la capital
enemiga, si tiene posibilidades de éxito O el ejercito marcha contra el enemigo, o se
repliega rápidamente. Si se repliega rápidamente, el enemigo atacará su retaguardia;
y perderá la guerra, si el enemigo ataca su retaguardia.
Por tanto, si no arrasa la capital enemiga, perderá la guerra
5. Verifique la validez de los siguientes argumentos utilizando el algebra

proposicional y las inferencias notables:
CARRERA PROFESIONAL: INGENIERIA ELECTRONICA Y

TELECOMUNICACIONES EXAMEN GRUPAL DE MATEMATICA BASICA Y MATEMATICA I
TALLER N O 1
a. p ∧ ( p ∨q )
( p ∨q ) ⟶ r
r ⟶s
∴s
b. r → q
p →q
r →s
∴ p→s
c. ( p ∧q ) → ( r ∧ s )
q ∨∼ s
∴ p ∨∼ q
6. Si p ↓q se define ( p ∧∼q ) , entonces ( p ⟷ q ), indique a cuál

de las siguientes proposiciones es equivalentes:
a. [ p ↓ q ] ∨(q ↓ p)
b. [ p ↓ q ] ∨ ( ∼ q ↓ p)
c. [ p ↓ ∼q ] ∨ ( p ↓ q )
7. Sea el conjunto:

TALLER N O 1
M =¿ el conjunto universal y sean p , q y r las proposiciones
cuantificadas de la siguiente manera:

2
p :∃ x ∈ A , ∀ y ∈ A : x +2 y ≤ x
q :∃ x ∈ A , ∀ y ∈ A ,∃ z ∈ A : x + y− z> x + y
r : ∀ x ∈ A , ∀ y ∈ A ,∃ z ∈ A : x−2 y < x + y−z
Hallar el valor de verdad de la siguiente proposición

compuesta:
[ ( p →q ) ∆ ( q → r ) ] ↔ ( q ∨∼r )
8. Sea n un número entero, demostrar que si n2 es múltiplo de 6,

entonces n es también múltiplo de 6
9. Dados tres proposiciones p, q, r simplificar la proposición

compuesta:
[ ( p ⟷ r ) ∨ (∼ q → p ) ] ∧ [ ∼ ( ∼ p → ( r ∧ q) ) ∨ ( r ∨ p) ]
10. Si p ¿ q ≡ [ ( p ∧q ) ⟶ r ] ∧ [ r ⟶∼ ( p ∧ q ) ], dibujar el circuito lógico

más simple que representa la siguiente proposición:
{[ ( p¿∼q ) ¿ ( ∼ p ¿q ) ]¿ [ ( ∼ p¿∼ p ) ¿ ( p ¿q ) ]} ⟶ ( p¿q )


TALLER N O 1
11. Simplificar el siguiente circuito lógico:
12. Sean los conjuntos A={ 1,2,3,4,5 } y B= {−2 ,−1,0,5,6 }

establecer el valor de verdad en cada una de las siguientes
proposiciones, justificar su respuesta.
p :∃ x ∈ A , ∀ y ∈ B/ x+ y> 3
q : ∀ y ∈ B ,∃ ! x ∈ A /x − y <1
2 2
r : ∀ x ∈ B , ∃ y ∈ A/ x < y → x < y
s :∃ x ∈ A ,∃ y ∈ B / ( x − y ) ∈ A
13. Simplificar la siguiente expresión:
[ ( √3 64 >√ 3∧−9<1 ) ⟶ √3 ≥ √3 64 ] ∨ [ 1 1
< ⟷ 9>1
√ 64 √3
3 ]

TALLER N O 1

Taller 1

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Taller 1

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL TECNOLÓGICA DE LIMA SUR

CARRERA PROFESIONAL: INGENIERIA ELECTRONICA Y TELECOMUNICACIONES EXAMEN GRUPAL

 LA ENTREGA ES EL DIA SABADO HASTA 11.59 DE LA NOCHE

ALUMNO P1 P2 P3 P4 P5 P6 P7 P8 P9 P10 P11

Fabriccio cruz laime X X

Benjamin rodriguez lupa X X

Isaac mejia vasquez X X

CARRERA PROFESIONAL: INGENIERIA ELECTRONICA Y TELECOMUNICACIONES EXAMEN GRUPAL

1. Cuáles de las siguientes proposiciones son equivalentes utilizando la tabla de verdad y el

2. dadas las siguientes proposiciones siguientes, determinar si son contingencia, contradicción o

CARRERA PROFESIONAL: INGENIERIA ELECTRONICA Y TELECOMUNICACIONES EXAMEN GRUPAL

c) Si el gorila es atractivo, el gorila sonreirá abiertamente o será infeliz. Si no es feliz, no

5. Verifique la validez de los siguientes argumentos utilizando el algebra

CARRERA PROFESIONAL: INGENIERIA ELECTRONICA Y

6. Si p ↓q se define ( p ∧∼q ) , entonces ( p ⟷ q ), indique a cuál

CARRERA PROFESIONAL: INGENIERIA ELECTRONICA Y

cuantificadas de la siguiente manera:

r : ∀ x ∈ A , ∀ y ∈ A ,∃ z ∈ A : x−2 y < x + y−z

Hallar el valor de verdad de la siguiente proposición

8. Sea n un número entero, demostrar que si n2 es múltiplo de 6,

9. Dados tres proposiciones p, q, r simplificar la proposición

10. Si p ¿ q ≡ [ ( p ∧q ) ⟶ r ] ∧ [ r ⟶∼ ( p ∧ q ) ], dibujar el circuito lógico

{[ ( p¿∼q ) ¿ ( ∼ p ¿q ) ]¿ [ ( ∼ p¿∼ p ) ¿ ( p ¿q ) ]} ⟶ ( p¿q )

CARRERA PROFESIONAL: INGENIERIA ELECTRONICA Y

12. Sean los conjuntos A={ 1,2,3,4,5 } y B= {−2 ,−1,0,5,6 }

13. Simplificar la siguiente expresión:

CARRERA PROFESIONAL: INGENIERIA ELECTRONICA Y

También podría gustarte