Ejercicio 2: Tablas de la verdad.

a: Si el calentamiento global está afectando al mundo entero, entonces, la temperatura se

ha elevado más de lo normal. O en Bogotá ha llegado a temperaturas de – 8 grados

centígrados y los incendios forestales han aumentado.

Problemas:

 Definir las preposiciones simples del argumento.

p: El calentamiento global está afectando el mundo entero.

q: La temperatura se ha elevado más de lo normal.

r: En Bogotá ha llegado a temperaturas de -8 grados centígrados

s: Los incendios forestales han aumentado

 Definir la expresión del argumento en lenguaje simbólico o formal.

Si el calentamiento global está afectando al mundo entero, entonces, la temperatura se ha

elevado más de lo normal. O en Bogotá ha llegado a temperaturas de – 8 grados centígrados

y los incendios forestales han aumentado.

{[p → (q ∨ r)] ∧ s}
  Generar una tabla de verdad manualmente y determinar si el resultado es una

tautología, contingencia o contradicción.

Premisa 1: (q ∨ r)

Premisa 2: {[p → (q ∨ r)]

Premisa 3: {[p → (q ∨ r)] ∧ s}

Numero de filas: 2n= 24= 2x2x2x2= 16 filas

p q r s (q ∨ r) {[p → (q ∨ r)] {[p → (q ∨ r)] ∧ s}

V V V V V V V
V V V F V V F
V V F V V V V
V V F F V V F
V F V V V V V
V F V F V V F
V F F V F F F
V F F F F F F
F V V V V V V
F V V F V V F
F V F V V V V
F V F F V V F
F F V V V V V
F F V F V V F
F F F V F V V
F F F F F V F

El resultado de esta tabla de la verdad es contingencia, debido a que el resultado final

arroja datos tanto verdaderos como falsos.

• Generar una tabla de verdad con el simulador Lógica Unad a partir del lenguaje

simbólico. Generar una tabla de verdad manualmente y determinar si el resultado es una

tautología, contingencia o contradicción.