TAREA 1

A.
{(p→∼q) ∧ (∼r→s) ∧ (r→p)}→ (∼q∨s)

Definición de las proposiciones simples

P La Unad posee una cede en Cúcuta.

q La Unad tiene cede física en todas las ciudades de Colombia.
r Todas las clases son virtuales.
s Tiene laboratorios presenciales.

Lenguaje natural de la expresión formal

(𝑝⟶∼𝑞) Si la Unad posee una cede física en Cúcuta entonces no tiene cede física
en todas las ciudades de Colombia.
(∼r⟶s) Si todas las clases no son virtuales entonces tiene laboratorios
presenciales
(𝑟⟶p) Si todas las clases son virtuales entonces la Unad posee una cede en
Cúcuta.
(∼𝑞˅𝑠) La Unad no tiene cede física en todas las ciudades de Colombia o tiene
laboratorios presenciales.
Si la Unad posee una cede física en Cúcuta entonces no tiene cede física en todas las
ciudades de Colombia, si todas las clases no son virtuales entonces tiene laboratorios
presenciales, si todas las clases son virtuales entonces la Unad posee una cede en Cúcuta,
por lo tanto La Unad no tiene cede física en todas las ciudades de Colombia o tiene
laboratorios presenciales.
TABLA DE VERDAD SIMULADOR TRUTH
 TABLA DE VERDAD MANUALMENTE
p q r s ∼p ∼r (p⟶∼q) (∼r⟶s) (r⟶p) (∼q˅s) (p⟶∼q)∧ (∼r⟶s) (p⟶∼q)∧ (∼r⟶s) ∧ (r⟶p) {(p⟶∼q)∧ (∼r⟶s) ∧ (r⟶p)} ⟶(∼q˅s)

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

Dado a que todos los valores de verdad de las variables proposicionales son verdaderas se considera una TAUTOLOGIA