INGENIERIA DE ALIMENTOS

Nombre Completo:
Héctor Arley Bautista Silva

TALLER
Pensamiento Lógico Matemático 200611

Tutor
DARWIN WILLIAM BARROS

Neiva-(Huila)
Noviembre-2019
Ejercicio 2: Proposiciones y Tablas de Verdad

 Los trabajos del curso no se pueden dejar para último

momento, entonces los trabajos se deben presentar a tiempo
y con eso puedo obtener la retroalimentación del tutor.

 Proposiciones Simples: (se define cada proposición simple del

argumento, siempre en afirmativo y con letras en minúscula).

 p = Los trabajos del curso

 q = pueden dejar para último momento
 r = los trabajos se deben presentar
 s = puedo obtener la retroalimentación del tutor

 Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico.

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

 Tabla de verdad manual:

p q r s p→q r→s p∨r (p→q)∧(r→s)∧(p∨r) q∨s [(p →q) ∧(r→s)∧(p∨r)→(q∨s)

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

 Tabla de verdad con simulador lógica UNAD:

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

Tabla De Resulatdo
p q r s [(p → q) ∧ (r → s) ∧ (p ∨ r)]→ (q ∨ s)

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

La expresión es tautológica, es decir, el razonamiento es acertado o válido.

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

Ejercicio 3: Problemas de aplicación

 Expresión formal o simbólica (dada en el planteamiento del ejercicio):

 B. {(p ⟶ q) ∧ (r ⟶ p)} ⟶ ( p ⟶ q)

Carlos le gusto la universidad UNAD y quiere formar parte esta institución y realizar su
sueño, para ser profesional de ingeniero de alimentos.

 Proposiciones Simples: (se define cada proposición simple del

argumento, siempre en afirmativo y con letras en minúscula).

 p = Carlos le gusto la universidad UNAD

 q = formar parte esta institución
 r = realizar su sueño
 s = profesional de ingeniero de alimentos

 Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico

{(p ⟶ q) ∧ (r ⟶ p)} ⟶ ( p ⟶ q)

 Tabla de verdad manual:

p q r p⟶q q⟶r (p⟶q)∧(q⟶ r)} p⟶ r {(p ⟶ q) ∧ (r ⟶ p)} ⟶ ( p ⟶ q)

V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V v V V V

 Tabla de verdad con simulador lógica UNAD:

{(p ⟶ q) ∧ (r ⟶ p)} ⟶ ( p ⟶ q)
 Tabla De Resulatdo

p q r s {(p ⟶ q) ∧ (r ⟶ p)} ⟶ ( p ⟶ q)

V V V V V

V V V F V

V F F V V

V F F F V

F V V V V

F V V F V

F F F V V

F F F F V

 La expresión es tautológica, es decir, el razonamiento es acertado o válido.

{(p ⟶ q) ∧ (r ⟶ p)} ⟶ ( p ⟶ q)