Pensamiento Lógico Matemático.

Ejercicios 1, 2 & 3. Unidad 1.

Estudiante.

Alix Vanesa Pineda.

Tutor.

Marlon Andrés Pineda.

Universidad Nacional Abierta y a Distancia.

UNAD.

CEAD Corozal

2019@
Ejercicio 1 Unidad 1_Alix Vanesa Pineda.
Ejercicio 2: Proposiciones y Tablas de Verdad

Argumento:

Empresas estadounidenses no pueden negociar con empresas chinas o Google

es una empresa estadounidense y Si Huawei es una empresa china
entonces no tiene Android de Google.

 Proposiciones Simples:

p = Empresas estadounidenses pueden negociar con empresas

chinas.

q = Google es una empresa estadounidense.

r = Huawei es una empresa china.

s = Huawei tiene Android de Google.

 Lenguaje Simbólico:

(~𝑝 ∨ 𝑞) ∧ (𝑟 →≈ 𝑠)
 Tabla de la verdad (manual):

p q r s ~𝒑 ~𝒔 (~𝒑 (r→ ~𝒔) (~p ∨ q) ∧ (r→≈s)

∨ 𝒒)
V V V V F F V F F
V V V F F V V V V
V V F V F F V V V
V V F F F V V V V
V F V V F F F F F
V F V F F V F V F
V F F V F F F V F
V F F F F V F V F
F V V V V F V F F
F V V F V V V V V
F V F V V F V V V
F V F F V V V V V
F F V V V F V F F
F F V F V V V V V
F F F V V F V V V
F F F F V V V V V

 Resultado de la tabla de verdad: CONTINGENCIA

 Simulador Lógica UNAD: Marin J. (2019).
Ejercicio 3: Problemas de aplicación

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

ejercicio):
[(p ⋁q)⟷r]
 Definición de las proposiciones simples:

p: Andrés participa en el foro.

q: Andrés participa en el trabajo colaborativo.

r: Andrés obtiene buenas calificaciones.

 Lenguaje natural de la expresión formal

Si Andrés participa en el foro o participa en el trabajo colaborativo, si y solo

si obtiene buenas calificaciones.

 Generar la tabla de verdad manualmente:

p q r (𝑝 ∨ 𝑞) [(𝑝 ∨ 𝑞) ↔ 𝑟]
V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F F
F F F F V

 Resultado de la tabla de verdad: CONTINGENCIA

 Generar la tabla de verdad con el simulador Lógica UNAD.
Marin J. (2019).
 Referencias Bibliográficas.

Marin J. (2019). [Simulador Lógica UNAD]. Recuperado de: http://logicaunad.com/jtruth/

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. Recuperado de
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=3226457
&tm=1529246259924