Question

Tarea 2: Problemas de aplicación I

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.

b. 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

Answer 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 contradiccion

2bef4d1f3f2196f621a598509fee9e55.xlsx