Pensamiento Lógico Matemático

Jessica Tatiana Arango Ramírez

UNAD
Universidad Nacional abierta y/a distancia
ECACEN
Escuela de ciencias administrativas, contables, económicas y de negocios
Contaduría publica
2019
Introducción

En la siguiente actividad podremos encontrar los siguientes temas Lógica proposicional, tablas
de verdad en proposiciones compuestas, álgebra de proposiciones, tautologías y contradicciones
y contingencias, proposiciones categóricas, cuantificadores.

Nos da un acercamiento más profundo a materias y temas que en anterioridad vimos de forma
superficial en la etapa colegial, los invito a observar mi elección.

Objetivos

Tiene como objetivo dar inicio a una matemática más avanzada que lo que ya conocemos, con
ejercicios que aunque básicos tienen su nivel de complejidad, o al menos para mí que llevaba
tanto tiempo sin estudiar.
Diapositiva
1

LOGICA MATEMATICA
POR: JESSICA TATIANA ARANGO RAMIREZ

Diapositiva
2 En lógica se usa el
símbolo Ɐ denominado
como cualificador -para todo X
universal antepuesto -Para cualquier X
de una variable para
indicar que el -Sea para todos X
elemento o el conjunto -Siempre que X
cumplen con la
preposición dada
muestra las palabras
que afirman.
Diapositiva
3  Si A es una expresión y sea X una variable si deseamos
indicar que A es verdadero para todos los posibles
variables de X.
 Escribimos (Ɐx)A.(Ɐx)
 Es cuantificador

 B

 A

Diapositiva
4
 Todos los niños tienen una  X protege el circulo de
ilusión luces. En este caso se
 Predicado todo tiene utiliza x para cada
solución elemento del universo
tiene cierta propiedad.
 Entonces ( px ) significa
que x tiene una ilusión  Wx------x protege el circulo
entonces de luces
 ( Ɐx ) p ( x )  ( Ɐx ) wx

Diapositiva
5
 Laura Lizeth R.S. Amazing presentations recuperado de
https://www.emaze.com/@AOCLOLTOR
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 106 - 112). Ediciones Elizcom, Madrid.
 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos
de álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28).
Madrid, España: Editorial Tébar Flores.
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 9-28). Ediciones Elizcom, Madrid.
Actividad 2 ejercicio 1

Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo lleva al concesionario o Si

ella no lo lleva al concesionario entonces, lo lleva taller de Fernando
p=>q V –q =>r

p= si el vehicula de Gabriela necesita mantenimiento

q= ella lo lleva al concesionario
-q= ella no lo lleva al concesionario
r= lo lleva al taller de Fernando
 (p=>q)V(-
p q r (p=>q) (-q=>r) q=>r)
v v v v v V
v v f v f V
v f v f v V
v f f f f F
f v v v v V
f v f v f V
f f v v v V
f f f v f V

 El argumento seleccionado es contingencia ya que tiene falsas y verdaderas

Actividad 3 ejercicio 1

 (𝑝 ∧ 𝑞) → (𝑟 ⋀ 𝑠)

Pedro estudia sociología y María estudia psicología entonces pedro estudia en la mañana y
María en la noche
p= Pedro estudia sociología
q= María estudia psicología
r= pedro estudia en la mañana
s= María en la noche
 P q r s (pꓥq) (rꓥs) (pꓥq)=>(rꓥs)
V v v v v v v
V v v f v f f
V v f v v f f
V v f f v f f
V f v v f v v
V f v f f f v
V f f v f f v
V f f f f f v
F v v v f v v
F v v f f f v
F v f v f f v
F v f f f f v
F f v v f v v
F f v f f f v
F f f v f f v
F f f f f f v

Este argumento es contingencia

Conclusiones
A nivel personal estos temas no los recordaba o al menos no en esta forma, me gusto el reto de
poder realizar las tablas de la verdad en forma individual, me agrada mucho ver que puedo
lograr lo que me propongo, muy útil el apoyo del tutor, adicional muy motivador a buscar la
perfección

Bibliografía

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.

(pp. 106 - 112). Ediciones Elizcom, Madrid.
 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de
álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid,
España: Editorial Tébar Flores.
 Laura Lizeth R.S. Amazing presentations recuperado de
https://www.emaze.com/@AOCLOLTOR
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.
(pp. 9-28). Ediciones Elizcom, Madrid.