Programa Ciencia de la Información y la Documentación,
Bibliotecología y Archivística TALLER NO 2 CONJUNTOS
Presentado a
ING. JULIAN FERNANDO RESTREPO
Presentado por:
ALBA LUCIA RODRIGUEZ BETANCUR
MARZO 2020
PROGRAMA CIENCIA DE LA INFORMACIÓN Y LA DOCUMENTACIÓN
BIBLIOTECOLOGÍA Y ARCHIVÍSTICA LÓGICA MATEMÁTICA
2 Taller No. 2: Lógica proposicional
1. El propósito de este numeral es formalizar las siguientes proposiciones:
a. No es cierto que no me guste bailar
b. Me esfuerzo mucho por aprender en mi carrera universitaria y
también leo muchos libros en la biblioteca de mi Universidad. c. Me gusta bailar y leer libros de ciencia ficción
d. Si Carlos estudia juicioso entonces Carlos obtiene buenos resultados
en sus evaluaciones.
e. O tú estás equivocado o es falsa la noticia que has leído
f. Voy a ser un excelente profesional en Ciencia de la Información si y
solo si me dedico a estudiar todas mis asignaturas del plan de estudios.
Solución:
PROPOSICIÓN FORMALIZACIÓN
a. No es cierto que no me guste bailar ¬¬q
b. Me esfuerzo mucho por aprender en mi carrera universitaria y también leo muchos libros en la p∧q biblioteca de mi Universidad. c. Me gusta bailar y leer libros de ciencia ficción p∧q d. Si Carlos estudia juicioso entonces Carlos obtiene p→q buenos resultados en sus evaluaciones. e. O tú estás equivocado o es falsa la noticia que has leído p⊻q f. Voy a ser un excelente profesional en Ciencia de la Información si y solo si me dedico a estudiar todas mis P↔q asignaturas del plan de estudios.
3 2. Enlace con una flecha las proposiciones con sus respectivas formalizaciones:
"Llueve" = p, "Hace sol"= q
Proposición Formalización 1 Llueve y hace sol ¬p 2 Llueve y no hace sol pvq 3 Llueve o hace sol p∧ q 4 Si no llueve, hace sol p ∧ ¬q 5 No es cierto que llueva ¬¬p 6 No es cierto que no llueva q↔¬q 7 Hará sol si y sólo si no llueve ¬p→q
3. Construya la tabla de verdad para las siguientes proposiciones:
a. ( p ˅ q ) ˄ ( p ˄ q ) p q pVq p∧q (p˅q)∧(p∧q) v v v v v v f v f f f v v f f f f f f f b. ( p → q ) ↔ ( ¬ p ˄ r ) p ¬p q r (p→q) (¬p˄r) (p→q)↔(¬p˄r) v f v v v f f v f v f v f f v f f v f f v v f f f f f v f v v v v v v f v v f v f f f v f v v v v f v f f v f f
4 c. ( p ˄ q ) ˅ ( q ˄ ¬ r ) p q r ¬r (p˄q) (q˄¬r) (p˄q)˅(q˄¬r) v v v f v f v v v f v v v v v f v f f f f v f f v f f f f v v f f f f f v f v f v v f f v f f f f f f f v f f f
4. Construya la tabla de verdad para la proposición: (p ˄ q) q y diga si
es Tautología, Contradicción o Contingencia; justificando su respuesta.
p q p˄q ¬ (p ˄ q) (p ˄ q) q v v V F V v f F V F f v F V V f f F V F
Justificación: Es una Contingencia, toda vez que tiene dos valores de verdad y dos valores falsos. Así las cosas, la contingencia se presenta cuando en una tabla de verdad sus valores son falsos y verdaderos.
5 5. De la siguiente tabla de verdad, identificar si es Tautología, Contradicción o Contingencia y justifique su respuesta:
Justificación: Es una Contingencia, toda vez que los valores de la tabla de
verdad son verdaderos y falsos. En esta tabla hay un valor falso y 7 de verdad.
6 Programa Ciencia de la Información y la Documentación, Bibliotecología y Archivística
Tel: (57) 6 735 9300 Ext 339
Carrera 15 Calle 12 Norte Armenia, Quindío – Colombia correoelectronico@uniquindio.edu.co
