Solucionar los siguientes enunciados y demostrar la validez del argumento dado a través de: Generar la tabla de verdad manualmente y a través del simulador Truth Table. Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table. Aplicación de las reglas de inferencia. Cada estudiante debe seleccionar uno de los ejercicios referenciados y anunciar su escogencia en el foro, de tal forma que no coincida con los compañeros. 3. La consejera académica de la UDR Cali, está realizando un acompañamiento a un estudiante del programa de ingeniería industrial, ella le quiere hacer entender que es muy importante ser responsable para obtener buenas calificaciones, por eso le da el siguiente consejo: “Si Carlos repasa el contenido del curso, entonces estará preparado para el examen o Carlos se va de fiesta. Si Carlos se va de fiesta, entonces no repasa el contenido del curso. Ocurre que Carlos repasa el contenido del curso y legará con los temas aprendidos. Por consiguiente, Carlos está preparado para el examen y llegará con los temas aprendidos”.
Respuestas a la pregunta
Contestado por
3
Proposiciones
p: repasa el contenido del curso
q: ir a la fiesta
r: preparado para el examen
o: llegar con los temas aprendidos
p ∨ q→r : Si Carlos repasa el contenido o se va para la fiesta entonces estará preparado para el examen
q→¬p: Si Carlos va a la fiesta entonces no repasa el contenido del curso
(p ∧ o)→r Si Carlos repasa el contenido del curso y llaga con los temas aprendidos entonces estará preparado para el examen
Adjunto Tabla de la Verdad
{[(p ∨ q)→r] ∧ [ q→¬p ] ∧ [(p ∧ o)→r]}
p: repasa el contenido del curso
q: ir a la fiesta
r: preparado para el examen
o: llegar con los temas aprendidos
p ∨ q→r : Si Carlos repasa el contenido o se va para la fiesta entonces estará preparado para el examen
q→¬p: Si Carlos va a la fiesta entonces no repasa el contenido del curso
(p ∧ o)→r Si Carlos repasa el contenido del curso y llaga con los temas aprendidos entonces estará preparado para el examen
Adjunto Tabla de la Verdad
{[(p ∨ q)→r] ∧ [ q→¬p ] ∧ [(p ∧ o)→r]}
Adjuntos:
Otras preguntas