TALLERES

Código: DE-BO-F-003 Versión: 02 Emisión: 16- 08- 2017 Página 1 de 2

DD MM AA

FECHA: 1 04 2022 ASIGNATURA: Fundamentos de Matemática

DOCENTE:

ESTUDIANTE CÓDIGO:
:
SEMESTRE: 2022-1 GRUPO: NOTA:

TÍTULO DEL TALLER: Taller preparcial segundo corte

 Identifica los diferentes tipos de razonamiento.

 Reconoce valores de verdad de los diferentes conectivos lógicos.
COMPETENCIAS:
 Usa lenguaje simbólico.
 Aplica las leyes de equivalencia lógicas para simplificar fórmulas

 Trabajo grupal.
METODOLOGÍA:
 Se resolverá con la guía del docente.

1. Fórmese la disyunción, conjunción, condicional, negación y bicondicional de las siguientes

proposiciones, dando su valor de verdad.
a. p: María va a la escuela. (1) q: María aprende (0)
b. p: Alicia es secretaria. (0) q: Alicia estudia inglés. (1)
c. p: Miguel tiene mucho dinero. (1) q: Miguel es muy trabajador (1)
d. p: María se casa. (0) q: María tiene un hijo. (0)

2. Sea la condicional es p →q , la reciproca es q → p, la inversa es p → q y la contra reciproca es

q → p.

Dadas las siguientes proposiciones condicionales escriba la recíproca, la inversa y la contra

reciproca:
a. Si apruebo el curso de lógica matemática, entonces saldré de la universidad.
b. Si arreglo el carro, entonces iré de vacaciones.
c. Si un número real es entero, entonces es racional.
d. Si una figura plana es un cuadrado, entonces es un paralelogramo.

3. Empleando las tablas de verdad, encuentre los valores de verdad de las siguientes formulas.
a. p ↔( p → p)
 TALLERES

Código: DE-BO-F-003 Versión: 02 Emisión: 16- 08- 2017 Página 2 de 2

b. ( p ∨q ) ↔ ( q ∨ p )

c. ( ( p ∧q ) ∧ ( q ∧r ) ) ↔ ( ( p ∧ q ) ∧r )

d. ( ( p → q ) ∧ ( q → p ) ) ↔ ( p↔ q )

e. ( p ∨q ) ↔ [ ( p ∧ q ) ]

4. Simbolizar las siguientes proposiciones:

a. No vi la película, pero leí la novela. g. Si no estuvieras loca, no habrías
venido aquí.
b. Ni vi la película ni leí la novela.
h. Si hay verdadera democracia,
c. No es cierto que viese la película y
entonces no hay detenciones
leyese la novela.
arbitrarias ni otras violaciones a los
d. Vi la película, aunque no leí la novela. derechos civiles.

e. No me gusta trasnochar ni madrugar. i. Si no es cierto que las estrellas emiten

luz y que los planetas la reflejan,
f. O tu estas equivocado o es falsa la entonces éstos no giran alrededor de
noticia que has leído. ellas.

5.Para los siguientes argumentos, si es válido, de su derivación usando las reglas de inferencia
lógica, si no es válido, muestre el porqué.
p→q c→ c
¿ p↔ q r → (s→ t) a →( b → c )
a. q b . r c . d
p r ∨ ( t ∨ p ) ( d ∨ a) → c
q∨s b
6. Utilizando las leyes del algebra de proposiciones demostrar que:
[ ( p∨ q ) ∨ ( p ∧q ) ] → ( p ∧ q ) ≡ ( p ∨q )

TEXTOS DE CONSULTA:

 Zalamea F, Fundamentos de Matemáticas. Universidad Nacional de Colombia. Sede Bogotá, 2007.

 Lewin Renato, 2011, La teoría de conjuntos y los fundamentos de matemáticas. Santiago de Chile, J.C. Saez Editor.
 Muñoz José María, 2002, Introducción a la teoría de conjuntos, 4a. edición, Universidad Nacional de Colombia.