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
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
Castellano,
hace 6 meses
Educ. Fisica,
hace 6 meses
Matemáticas,
hace 1 año
Matemáticas,
hace 1 año
Biología,
hace 1 año