Question

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

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 contradicción

64764c3cb6ccb72061c0feda0ba7b7b3.xlsx