Está en la página 1de 7

TALLER NO 2

LÓGICA PROPOSICIONAL

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

También podría gustarte