Pensamiento logico

Tarea 4: Sustentación Diana Mercedes Amaya Nieto Junio 2019 Universidad Nacional Abierta y A Distancia (UNAD) Escuela

Views 201 Downloads 7 File size 380KB

Report DMCA / Copyright

DOWNLOAD FILE

Recommend stories

  • Author / Uploaded
  • Diana
Citation preview

Tarea 4: Sustentación

Diana Mercedes Amaya Nieto Junio 2019

Universidad Nacional Abierta y A Distancia (UNAD) Escuela de Ciencias Básicas, Tecnología e Ingeniería (ECBTI) Programa de Ingeniería de Alimentos Pensamiento Lógico y Matemático

Ejercicios

E. La UNAD requiere la vinculación de 29 tutores en las siguientes áreas: 13 tutores de Matemáticas, 13 Tutores de Física, y 15 tutores de Catedra Unadista. Para el cubrimiento de los cargos se requiere que 6 tutores orienten Matemáticas y Física, 4 profesores orienten Física y Catedra Unadista y 5 tutores orienten Matemáticas y Catedra Unadista. 2 tutores deben estar en la capacidad de orientar los tres cursos.

Determinar: 

¿Cuántos tutores se requieren para que oriente Matemáticas únicamente? Respuesta: 4 tutores.



¿Cuántos tutores se requieren para que orienten Matemáticas y Catedra Unadista, pero no física? Respuesta: 3 tutores.



¿Cuántos tutores se requieren para que oriente Física únicamente? Respuesta: 5 tutores.



¿Cuántos tutores se requieren para que oriente Matemáticas o Física, pero no cátedra Unadista? Respuesta: 13 tutores.

E. Expresión simbólica: [(~𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (~𝒓)] ⟶ 𝒑 Premisas: P1: (~𝒑 → 𝒒) P2: (𝒒 → 𝒓) P3: (~𝒓) Conclusión: 𝒑 p: Diana gana la evaluación final. q: Diana pierde lógica matemática r: Diana pierde el semestre

Si Diana no gana la evaluación final entonces Diana pierde lógica matemática. Diana pierde lógica matemática entonces Diana pierde el semestre, sin embargo, Diana gana el semestre. Por lo tanto, Diana gana la evaluación final.

Se concluye que el resultado de la tabla de verdad es una tautología.

Premisas: P1: ~𝒑 → 𝒒 P2: 𝒒 → 𝒓 P3: ~𝒓 P4:~𝒒 (MTT) 2,3 P5: 𝒑 (MTT) 1,4 Así queda demostrado la validez del argumento: [(~𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (~𝒓)] ⟶ 𝒑