Está en la página 1de 5

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica 2.1.

continuacin se propone identificar los conectivos lgicos y proposiciones simples presentes en cada expresin, posteriormente plantearn una expresin equivalente en lenguaje simblico: EXPRESIN Si hay tolerancia, entonces hay paz Para aprender matemticas es necesario ser ordenado y constante. Dos condiciones son necesarias y suficientes para que tus hijos tengan buena vida sobre la tierra: ensales a controlar sus impulsos y a desarmar su corazn. PREMISAS LENGUAJE SIMBLICO

p = hay tolerancia pq q = hay paz p=Para aprender Matemticas P q r q=Es necesario ser ordenado r=Es necesario ser constante r=para que tus hijos tengan buena p q r vida en la tierra = Es necesario y suficiente p=Ensearlos a controlar sus impulsos = y q=Ensearlos a desarmar su corazn p=ana tiene perseverancia y orden =y q=ana tiene amor por la tarea pq

Ana tiene perseverancia, orden y amor por la tarea.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

1/5

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica 2.2. as tablas de verdad nos permiten conocer el valor de verdad de una proposicin compuesta para cada valor posible de las proposiciones simples que la conforman. A continuacin, el equipo debe elaborar la tabla de verdad de las siguientes proposiciones lgicas, finalmente, deben clasificar la proposicin como tautologa, contradiccin o contingente de acuerdo al resultado:

[ ( p q ) q] ( p r ) ( q s )

p v v v v v v v v f f f f f f f f

q v v v v f f f f v v v v f f f f

r v v f f v v f f v v f f v v f f

s [(pq) v v f v v v f v v v f v v v f v v v f v v v f v v f f f v f f f

f f f f v v v v f f f f f f f f

q] f f f f v v v v f f f f v v v v

(pr) v v v v f f f f v v f v f f f f f f f f f f f f f f f f f f f f

(qs) v v v v v v v v v v f f v v v f v v v v v v v v v v v f v v v f

ES UNA CONTINGENCIA PORQUE, SE ENTIENDE POR VERDAD CONTINGENTE, O VERDAD DE HECHO, AQUELLA PROPOSICIN QUE PUEDE SER VERDADERA O FALSA, SEGN LOS VALORES DE LAS PROPOSICIONES QUE LA INTEGRAN

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

2/5

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

( p q ) p q

p v v

q v f

[(pq) v v

f f

p] f f

v v

q f v

ES UNA TAUTOLOGA YA QUE LOS VALORES FINALES TODOS SON VERDADEROS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

3/5

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica 2.3. A continuacin debes pegar el pantallazo obtenido al usar el siguiente simulador para verificar el resultado obtenido. Visita el material de apoyo para la primera unidad para aprender a usarlo.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

4/5

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

5/5