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
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
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
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
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:
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
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:
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
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 )
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
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 ]
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
