Matemáticas, pregunta formulada por nana27813, hace 1 año

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. En Colombia nos encontramos en proceso de campaña presidencial y uno de los temas a tratar son el pago de horas extras, así: Si la ley no fue aprobada, entonces el pago de las horas queda como estaba. Si el pago de las horas queda como estaba, entonces no debemos trabajar más horas extras. Debemos trabajar más horas extras o el proyecto se retrasará un mes. El proyecto no se retrasará un mes. Por tanto, la ley fue aprobada. Pide más detalles

Respuestas a la pregunta

Contestado por luismgalli
1

Definición de preposiciones simples:

p: ley fue aprobada
q: pagos horas extras quedan como estaban
¬r: no debemos trabajar más horas extras

r : debemos trabajar mas horas extras


Lenguaje natural de la exposición formal
¬p →q: Si la ley no fue aprobada, entonces el pago de las horas queda como estaba

(q→¬r): Si el pago de las horas queda como estaba, entonces no debemos trabajar más horas extras

(r∨¬p): Debemos trabajar más horas extras o el proyecto se retrasará

Generar Tabla de la Verdad.

{[¬p →q) [ q→¬r∧ r∨¬p}


Definir si el argumento es: Tautología, Contingencia o contradicción
El argumento es contradicción

Adjuntos:
Otras preguntas