El documento es una actividad virtual asignada a un estudiante de la Facultad de Ingeniería de la Universidad "Fermín Toro". Consiste en 5 ejercicios de lógica proposicional y de conjuntos que deben ser resueltos y enviados antes del 31 de octubre de 2014 a las 23:55. Los ejercicios incluyen probar la validez de un razonamiento, negar enunciados, encontrar contraejemplos para proposiciones, simbolizar y hallar proposiciones contrarecíprocas y simbolizar y hallar

1. UNIVERSIDAD “FERMIN TORO”
VICE-RECTORADO ACADEMICO
Facultad de Ingeniería
Estructura Discreta I
Actividad Virtual I 10%
Nombres y Apellidos: JESÚS ARMANDO RODRÍGUEZ CHAVEZ CI: 18.546.595
Sección: SAIA D Fecha:31 DE OCTUBRE DEL 2014
EJERCICIOS
Facilitador: Prof. José E. Linárez
Reciban un cordial saludo los siguientes ejercicios propuestos deberán resolverlos y enviarlos al
link correspondiente hasta el 31/10/2014 hasta las 23:55. Pueden enviarlas utilizando cualquier
argumento, escaneo, Word, entre otros.
1. Probar la validez del siguiente razonamiento por el método más adecuado
2. Negar los siguientes enunciados
a)
b)
3. Si hallar un contraejemplo para cada una de las siguientes
proposiciones
a)
b)
4. Simbolizar y hallar la proposición contrareciproca de :
a) Si todo lo que brilla es oro, entonces el sol es oro (B(x),s)
b) Si toso es rojo, entonces algo es rojo (R(x))
5. Simbolizar y hallar el valor lógico de las siguientes proposiciones
a) La ecuación no tiene raíces reales
b) Algunos números reales no son racionales
c) Todos los números racionales son números reales