Está en la página 1de 3

EJERCICIO 2

ARGUMENTO:
Sofía estudia medicina o estudia literatura inglesa y si ella estudia literatura inglesa entonces
escribirá poemas.

PROPOSICIONES SIMPLES:
 p = Sofía estudia medicina
 q = Estudia literatura inglesa
 r = Escribirá poemas.

LENGUAJE SIMBOLICO
[(p v q) ^ (q → r)]

Tabla de la verdad (manual):

p q r pvq q→r [(p v q) ^ (p → r)]


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

 Resultado de la tabla de verdad: CONTINGENCIA


 Simulador Lógica UNAD:
EJERCICIO 3

(p v q) ^ (q → (r ^ s))

DEFINICION DE LAS PROPOSICIONES

 p = vive en Colombia
 q = vive en Barcelona
 r = vive en España
 s =vive en Europa

LENGUAJE NATURAL DE LA EXPRESION FORMAL

Andrés va a vivir en Colombia o en Barcelona y si Andrés vive en Barcelona entonces vivirá en


España y vivirá en Europa

TABLA DE VERDAD MANUAL

p q r s pvq r^s q → (r ^ s) (p v q) ^ (q → (r ^ s))


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

RESULTADO DE LA TABLA: CONTINGENCIA


SIMULADOR LOGICA UNAD