LOGICA PROPOSICIONAL

Gloria Esperanza Monsalve

Pensamiento Lógico y matemático

Tutor: Yader Blandon

Grupo: 200611-510

Universidad Nacional Abierta y a Distancia Unad

Cali, marzo 07 de 2020

 Introducción

En el presente trabajo se encontrara el estudio de carácter individual frente a la lógica

proposicional, tablas de verdad en proposiciones compuestas, álgebra de proposiciones,

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

así mismo se podrá evidenciar la realización de ejercicios específicos solicitados por el

tutor del curso académico Pensamiento Lógico Matemático. Así mismo se podrá observar

la puesta en práctica de los diversos temas estudiados dentro de la unidad 1.

 Objetivos

 Comprender los conceptos fundamentales de la lógica proporcional.

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

enunciado.

 Entender la aplicación y el efecto que tiene 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 del programa académico.

 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

 Definir las proposiciones simples del argumento

Respuesta:
p: Gabriel García Márquez escribió Cien años de soledad
q: Gabriel García Márquez escribió la Ilíada
r: Gabriel García Márquez es un escritor brillante e ingenioso

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

Respuesta:
(p∨q) ⇔r

 Generar una tabla de verdad con el simulador

Respuesta:
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico y
determinar si el resultado es tautología, contingencia o contradicción.

Respuesta:

Resultado de la tabla: CONTINGENCIA, porque al menos uno de los resultados es

verdadero y falso

Ejercicio 3: Problemas de aplicación

A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado

deberá:

[ ( p ∧q ) ⟷ ( ∼r ⋀ s ) ]
 Definir las proposiciones simples, tendrá la libertad de definirla bajo una
descripción basada en un contexto, el que se solicita es un contexto académico

Respuesta:

p: Gloria estudia en la UNAD

q: Trabaja en la clínica
r: Estudia juiciosa
s: Pierde el semestre

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

Respuesta:

Gloria estudia en la Unad y trabaja en la clínica, si y solo si Gloria no estudia

juiciosa, pierde el semestre.

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

Respuesta:
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico

Respuesta:

 Definir si el argumento seleccionado inicialmente es una tautología, contradicción

o contingencia
Respuesta:

Es una contingencia porque tiene al menos un resultado verdadero y un resultado

falso
 Conclusiones

 Con el desarrollo de los anteriores ejercicios y dando cumplimiento a los objetivos

planteados se puede concluir que la lógica proposicional se basa en la evaluación

de los enunciados o proposiciones para determinar su validez soportada en el

razonamiento y el análisis de estos.

 Se determinó que la lógica en el ser humano se desarrolla por procesos de

acumulación de conocimientos y experiencia.

 La lógica proposicional es parte de los aportes del conocimiento en el hombre a lo

largo de la evolución del hombre como ser pensante y razonante.

Referencias Bibliográficas

 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.