1

Unidad 1 - Lógica Proposicional

ACTIVIDAD INDIVIDUAL

JESSICA ALEXANDRA BOHORQUEZ AMADO

GRUPO: 200611_1198

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

RADIOLOGIA E IMAGENES DIAGNOSTICAS

PENSAMIENTO LOGICO Y MATEMATICO

AGOSTO 2018
 2

INTRODUCCION

En este trabajo encontraremos ejercicios de acuerdo al tema de la unidad 1, también

demostraremos la importancia de los cuantificadores como lenguaje simbólico y que serán parte

de las actividades que se realizarán a través del curso, además de esto realizaremos tablas de

verdad para los ejercicios seleccionados como su descripción en lenguaje natural y simbólico.
 3

Objetivos

• Conocer y saber aplicar los conocimientos y técnicas de los cuantificadores.

• Investigar sobre los conectivos y su utilización en cada ejercicio de la lógica matemática.
• Aprender a realizar tablas de verdad mediante el Truth Table y de manera manual.
• Lograr interpretar y desarrollar el lenguaje simbólico.
 4

Actividades a desarrollar

La tarea de esta unidad se compone de una serie de ejercicios que se describen a continuación:

Ejercicio 1: Conceptualización de Cuantificadores

Descripción del ejercicio

El tema escogido:

A. Cuantificadores en la Lógica Matemática.

Dirección web de la presentación https://prezi.com/p/fcjvalfnsnxx/

Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

A. Si la Selección Colombia va al mundial y James juega los partidos, entonces la

Selección Colombia será finalista del Mundial de Rusia.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

• Definir las proposiciones simples del argumento.

• p: Si la Selección Colombia va al mundial y James juega los partidos

 5

q: la Selección Colombia será finalista del Mundial de Rusia.

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

(p→q)

• Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico
p q (p → q)

F F T

F T T

T F F

T T T

• Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

p q (p→q)

V V V
Tautologías
V F F

F V V

F F V
 6

Ejercicio 3: Problemas de aplicación.

Descripción del ejercicio:

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento) para el

desarrollo del ejercicio 3:

A. [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)]⟶(∼r⟶p)

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

• 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:

p: Andrés aprobó el último semestre

q: Se graduara de su universidad

r: Tendrá que repetir el semestre

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

Si Andrés aprobó el último semestre entonces se graduará de su universidad y si Andrés no

aprobó el último semestre entonces tendrá que repetir el semestre entonces no tendrá que repetir

el semestre si Andrés aprobó el último semestre

 7

• Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico.

• Generar una tabla de verdad manualmente a partir del lenguaje simbólico

p q q ∼𝑝 ∼r 𝑝⟶𝑞 ∼𝑝⟶𝑟 (𝑝⟶𝑞)∧(∼𝑝⟶𝑟) (∼r⟶p) [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)]⟶(∼r⟶p)

v v v f v v v v v v

v v f f v v f v v v

v f v f v f f f v f

v f f f v f f f v f

f v v v f v v f f f

f v f v f v f f f f

f f v v f v f f f f

f f f v f v f f f f
 8

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

contingencia

• Tautologías: en todos los casos posibles de su tabla de verdad su valor siempre es V

 9

CONCLUSIONES

• Se demostró poseer y comprender conocimientos de acuerdo a las lecturas de la unidad.

• Los temas generan una interpretación mas sencilla de los ejercicios y de las lecturas.

• Se desarrollaron habilidades practicas a la hora de ejercer los ejercicios.

 10

• REFERENCIAS BIBLIOGRÁFICAS

• “una tabla que muestra el valor de verdad de una proposición compuesta”

(es.wikipedia.org/wiki/Tabla_de_verdad)

• “un cuantificador es una expresión que indica la cantidad de veces que un predicado o

propiedades” (wikipedia.org/wiki/Cuantificador)