Pensamiento Lógico Matemático

Tarea 1

Jennifer López Calderón

Grupo: 1050

Tutora

Nini Johanna Vargas

Universidad Nacional Abierta y a Distancia

CEAD Florencia

Marzo del 2020

 Introducción

La lógica matemática consiste en el estudio matemático de la lógica y en la aplicación de

este estudio a otras áreas de las matemáticas. En esta oportunidad presentaremos una
solución completa y oportuna a los ejercicios asignados, haciendo entrega de un producto
final consolidado.
Toda metodología basada en la teoría del aprendizaje significativo, facilita que nosotros
como estudiantes en el aprendizaje tengamos una mejor calidad, sobre unas bases
fundamentales para un buen proceso pedagógico, de donde se obtiene el fortalecimiento
lógico matemático, aplicando una unidad didáctica basada en la teoría del aprendizaje
significativo y fortaleciendo así las relaciones con el mundo externo.
 Objetivos

Proporcionar al estudiante herramientas que le permitan reconocer, elaborar y determinar la

validez de razonamientos lógicos tanto deductivos como intuitivos.

Desarrollar las competencias para expresar razonamientos lógicos en lenguaje simbólico.

Identificar y aplicar las diferentes leyes de la lógica en procesos de argumentación, al

llevarlas al lenguaje natural.
EJERCICIO 1
 Ejercicio 2
PROPOSICIONES Y TABLAS DE VERDAD
ÍTEM ESCOGIDO
D. Si las películas de marvel han sido las más taquilleras en los últimos años entonces, la
gran mayoría de las personas las han visto y si la gran mayoría de las personas no las han
visto entonces the avengers no es una película taquillera.

La proposición dada en lenguaje simbólico se puede presentar como

p→q ∧¬q→¬r
para pasar a un lenguaje simbólico: colocamos las proposiciones que nos dan y formamos
las escrituras de forma simbólica tradicional. procedemos

p: Si las películas de Marvel han sido las más taquilleras en los últimos años
q:  la gran mayoría de las personas las han visto
¬q:  si la gran mayoría de las personas no las han visto entonces
¬r: The Avengers no es una película taquillera.
TABLA DE VERDAD

El resultado es una CONTINGENCIA ya que tiene valores de verdad falsos y

verdaderos.
 TABLA MANUAL

p q r p→q ¬q→¬r p→q ∧¬q→¬r

V V V V V V
V V F V V V
V F V F F F
V F F F V F
F V V V V V
F V F V F F
F F V V F F
F F F V V V

Ejercicio 3

D. { p ⟷ [q ∧(r ∨ s )]}

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

María será psicóloga si y solo si matricula el semestre en la UNAD y aprueba las materias o

las habilita en caso de perderlas.

 Proposiciones simples definidas

p: Maria será psicóloga.

q: matricula el semestre en la UNAD.

r: las habilita en caso de perderlas.

TABLA DE VERDAD CON EL SIMULADOR LÓGICA UNAD

p q r s ( r ∨ s) [q ∧ (r ∨ s )] { p ⟷ [q ∧(r ∨ s )]}
V V V V V V V
V V V F V V V
V V F V V V V
 V V F F F F F
V F V V V F F
V F V F V F F
V F F V V F F
V F F F F F F
F V V V V V F
F V V F V V F
F V F V V V F
F V F F F F V
F F V V V F V
F F V F V F V
F F F V V F V
F F F F F F V

El argumento es una contingencia.

TABLA DE VERDAD MANUALMENTE A PARTIR DEL LENGUAJE

SIMBÓLICO
 Conclusiones

Al realizar este trabajo podemos concluir lo siguiente:

El termino razonamiento es el punto de separación entre el instinto y el pensamiento, el
instinto es la reacción de cualquier ser vivo.
Razonar nos hace analizar y desarrollar un criterio propio, el razonar es a su vez la
separación entre un ser vivo y el hombre.
El razonamiento lógico nos ayuda a comprender algunas vías, métodos y procedimientos de
cómo enfrentarnos a la solución de situaciones que se presentan en nuestra vida diaria,
desarrolla nuestra manera de actuar y así mismo nos prepara para nuestra formación
profesional.

Referencias

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. Recuperado de https://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3226457&ppg=20

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

(pp. 9-28). Ediciones Elizcom, Madrid. Recuperado de https://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=12

Castaño, G. (2018). Simulador Lógica UNAD, [Vídeo]. Recuperado de:

https://youtu.be/L1g2KC7rsNo

Marín J. (2019). [Simulador Lógica UNAD]. Recuperado de: http://logicaunad.com/jtruth/

Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado de

http://hdl.handle.net/10596/13871

Ramírez, Elaboración de tablas de verdad, archivo video. Recuperado de

https://www.youtube.com/watch?v=k7zkRCKicdY&feature=youtu.be