Tarea 1 – Proposiciones y Tablas de Verdad

Liliana Rueda Monsalve

CÓDIGO: 1005384495
Grupo: 564

Luis Eduardo Hoyos

(Tutor)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LÓGICO MATEMÁTICO

BETULIA
FECHA: 11/09/2019
Ejercicio 3: Problemas de Aplicación
Definir las preposiciones simples basadas en un contexto
académico.
p: Carlos estudia en la UNAD.
q: La UNAD es una universidad pública.
r: La sede principal está en Bogotá.
s: El rector se llama Carlos Pinto.

Lenguaje Simbólico:
E. [(𝑝 ⋀ 𝑞) ⟶ 𝑟] ∧ [(~ 𝑞 ∨ 𝑠) ⟶ ~𝑟]

Lenguaje Natural:

Carlos estudia en la UNAD y la UNAD es una universidad pública

entonces la cede principal está en Medellín y no es la UNAD una
universidad pública y el rector se llama Carlos Pinto entonces la sede
principal no está en Medellín.

Tabla de verdad simulador UNAD.

Generar tabla de verdad manualmente.

p q r s p^q (p^q) →r (~q v s) (~q v s)→~r [ (p ^ q)→r] ^ [ (~q v s)→~r]

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

Resultado de la tabla de verdad: Contingencia

Referencias

 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras

algebraicas y fundamentos de álgebra lineal. Volumen I:
conjuntos numéricos, complementos. (pp. 19-28). Madrid,
España: Editorial Tébar Flores.

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de

sistemas y computación. (pp. 9-28). Ediciones Elizcom,
Madrid.