Documente Academic
Documente Profesional
Documente Cultură
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
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
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
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.
4/5
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica
5/5