Ejercicio 1: Proposiciones y tablas de verdad

Nombre: Laura Tatiana Rodríguez Rodríguez

Código: 1005228668

Curso Pensamiento Lógico Matemático

Programa de Licenciatura en Pedagogía Infantil

Profesor tutor: Amelia Elizabeth Córdoba

Chipatá/Septiembre/2019
Ejercicio 2: Proposiciones y Tablas de Verdad
Cuantificador existencial
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.

p = Empresas estadounidenses no pueden negociar con

empresas chinas

q = Google es una empresa estadounidense

r = Huawei es una empresa china

¬o = No tiene Android de Google.

 Lenguaje Simbólico:

(¬P V q) ^(r ¬o)

Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico:

p q r s (¬P V q) ^(r s)

v V V V V
V V V F F
V V F V V
V V F F V
V F V V F
V F V F F
V F F V F
V F F F F
F V V V V
F V V F F
F V F V V
F V F F V
Generar una tabla de verdad manualmente a partir del lenguaje simbólico y

determinar si el resultado es una tautología, contingencia o contradicción.

TABLA DE VERDAD MANUAL

P Q R (r s) (¬P V q) ^(r s)
V V V V V

F V V F F

V V F V V

V V F F V

F F V V F

F F V F F

F F F V F

F F F F F

V V V V V

F V V F F

V V F V V

V V F F V

Resultado tabla de verdad: Es una Contingencia.