Universidad Nacional Abierta y a Distancia

Integrante
Farley Antonio Valencia Perea

Cel: 3145900559

Grupo

200611_1797

PENSAMIENTO LOGICO Y MATEMATICO

Tutor

JADITH ROVIRA

Septiembre 2019
 Introducción

Con este trabajo se pretende afianzar y mantener conocimientos previos en los temas como

Lógica proposicional, tablas de verdad en proposiciones compuestas, álgebra de

proposiciones, tautologías y contradicciones y contingencias, proposiciones categóricas,

cuantificadores. De tal modo que cada estudiante determine sinnúmeros de situaciones

mediante tablas de verdad.

 Objetivo

 Comprender los conceptos de la lógica proposicional.

 Familiarizarse con las características del sistema de lógica proposicional.

 Aplicar diferentes métodos de lógica proposicional para realizar deducciones.

 Aprender a identificar las clases de proposiciones que se puede encontrar en un

enunciado.

 Entender la aplicación y el efecto que tienen los términos de enlace en las

proposiciones.

 Analizar proposiciones en nuestro idioma para determinar su validez.

 Analizar e interpretar proposiciones para simbolizarlas.

 Comprender los principios de las operaciones de la lógica proposicional y sus

aplicaciones en otras áreas de la carrera.

 Analizar los enunciados para la elaboración de las tablas de verdad, teniendo en

cuenta los términos de enlace.

Ejercicio 1: Conceptualización de Cuantificadores
Ejercicio 2: Proposiciones y Tablas de verdad
A. 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.

•Definir las proposiciones simples del argumento.

p: el vehículo de Gabriela necesita mantenimiento

q: Gabriela lo lleva al concesionario

r: Gabriela lo lleva taller de Fernando.

• Definir la expresión del argumento en lenguaje simbólico o formal.

(p → q) ᴠ ( –q → r)

• Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje

simbólico (El estudiante encontrará la Guía para el uso de recursos educativos

Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de

acceso al recurso).
 • Generar una tabla de verdad manualmente a partir del lenguaje simbólico y

determinar si el resultado es una tautología, contingencia o contradicción.

p q r ~q P→q –q → r (p → q) ᴠ ( –q → r)
v v v f v v v
v v f f v v v
v f v v f V v
v f f v f f f
f v v f v f v
f v f f v V v
f f v v v V v
f f f v v f v
Contingencia.

Ejercicio 3: Problemas de aplicación

A continuación, encontrará proposiciones compuestas en lenguaje simbólico

(argumento) para el desarrollo del ejercicio 3:

 A. (p Λ q) → (r Λ s)

p: Pedro es matemático

q: María es psicóloga

r: Pedro enseña en la UNAD

s: María en enseña en UDEA

Pedro es matemático y maría es psicóloga entonces pedro enseña en la UNAD y

maría enseña en la UDEA.

 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
Contingencia.
 CONCLUSIÓN

Finalmente debemos aceptar distintos puntos de vista para poder generar conocimiento que

solo puede conocerse en un ambiente social. Para aceptar ideas diferentes debemos usar el

mismo lenguaje y estar o analizarlas en el mismo contexto y como conclusión de este análisis

debo , a título personal y desde mi contexto y lenguaje decir que la verdad es mucho más

compleja de describir y que la forma más útil de aceptar lo nuevo es a través de un enfoque

pragmático como describe Wittgenstein sobre el lenguaje , que dependiendo del contexto

preguntar cómo se usa y ciertamente es nuestro entorno la variable más importante para poder

hacer un uso pertinente de las verdades expresadas a través del lenguaje.

 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.

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

computación. (pp. 9-28). Ediciones Elizcom, Madrid.

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

computación. (pp. 106 - 112). Ediciones Elizcom, Madrid.