PASO 2.

PROPOSICIONES Y TABLAS DE VERDAD

Estudiante

PEDRO ORDOSGOITIA BURGOS

Docente

EVER ANTONIO POLO

Curso

Pensamiento Lógico y Matemático

Grupo

200611A_474

UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD

BARRANQUILLA

Septiembre 2018
 INTRODUCCIÓN

En esta actividad se presentó una solución completa y oportuna de la misma, se tubo

en cuenta las participaciones significativas, continuas y oportunas.

Toda metodología basada en la teoría del aprendizaje significativo, facilita a que

nosotros como alumnos en el aprendizaje tengamos una mejor y calidad sobre unas
bases fundamentales para un buen proceso pedagógico donde se obtiene el
fortalecimiento lógico matemático cuando se aplica una unidad didáctica basada en la
teoría de aprendizaje significativo donde se fortalecen mejores relaciones con el mundo
externo.
OBJETIVOS

OBJETIVO GENERAL.
 Resolver mis ejercicios con procedimientos específicos según la guía de
actividades y web conferencia transmitida.

 Utilizar la metodología adecuada para esta actividad, y obtener conocimientos

sobre este tema.

 Fijar y obtener orden en mis tablas de verdad para que puedan ser
comprendidas y claras.

OBJETIVOS ESPECIFICOS.
 Usar los símbolos básicos de la lógica proposicional.

 Trabajar estrategias generales para resolver mis problemas.

 Utiliza el simulador truth, para comprobar el resultado de los ejercicios.

 EJERCICIOS 1

Descripción del ejercicio Con base en los contenidos desarrollados en la lectura, el estudiante

debe escoger uno de los siguientes temas y presentarlo de manera gráfica a través de una

presentación, utilizando un recurso didáctico tipo PREZI, PowerPoint u otra herramienta digital.

A partir del tema deberá dar su definición y dos ejemplos. Los temas propuestos son:

A. Cuantificadores en la Lógica Matemática. (Si es posible dar precisión de la ubicación

del tema dentro del contenido)

B. Cuantificador Universal.

C. Cuantificador Existencial.

D. Cuantificador Existencial Único.

E. Negación de Proposiciones con Cuantificadores

Desarrollo:

CUANTIFICADOR EXISTENCIAL

El cuantificador existencial transforma una función proposicional a una variable

proposicional de tal manera que por lo menos existe un elemento de la variable-sujeto
(por lo menos un elemento del conjunto) que cumple una propiedad determinada.

El CUANTIFICADOR EXISTENCIAL ÚNICO es empleado para expresar

precisamente un único elemento con propiedades definidas.

El CUANTIFICADOR EXISTENCIAL ÚNICO se diferencia porque pueden existir

casos donde el cuantificador existencial pueda hacer referencia solo a uno y tan solo un
elemento del conjunto.
 El CUANTIFICADOR EXISTENCIAL ÚNICO es similar al cuantificador
existencial con la excepción de que tiene un signo de admiración "!" se representa con el
símbolo ∃!.

la proposición del CUANTIFICADOR EXISTENCIAL ÚNICO se representa así:

∃!x:p(x)∃!x:p(x)

y se lee:

• Existe un único valor de xx tal que p(x)p(x) es verdadera.

Ejemplo 1

Si por lo menos existe dos elementos, entonces la este cuantificador es falso. Por
ejemplo:

∃!x∈Z:0<x<2∃!x∈z:0<x<2.< span=""></x<2∃!x∈z:0<x<2.<>

Es verdadera porque el único valor que cumple para esta proposición es para
x=1x=1.

Ejemplo 2

∃!x∈R:x2–4x+4=0∃!x∈R:x2–4x+4=0.

Este también es verdadera por que cumple para un único valor x=2x=2.

Ejemplo 3

∃!x∈N:x2–5x+6=0∃!x∈N:x2–5x+6=0.

Esta proposición es falsa porque existe más de un valor para esta proposición y
son x=2x=2 y x=3x=3.

EL CUANTIFICADOR EXISTENCIAL ÚNICO

Por lo anterior se define que el cuantificador existencial único se utiliza para

indicar que existe exactamente un elemento en el conjunto A que cumple con una
condición o propiedad determinada:

Ejemplo 4:
 [pic 2]

Ejemplo 5:

Sean A el conjunto de estudiantes de un curso y x un alumno cualquiera

perteneciente a A:

∃! xϵA|x < 18

Significa: existe un único alumno en A menor de 18 años.

Ejemplo 6:

Partiendo del Ejemplo anterior, existe al menos un alumno del curso A que tiene
menos de 18 años. En resumen:

∼(∃! xϵA|x < 18) <=> (∃xϵA|x < 18)

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.

B. Voy de vacaciones a San Bernardo del Viento o Voy a Capurgana o viajo a Amazonas.

C. Este fin de semana, voy a hacer un asado y voy a realizar una actividad en la piscina y

voy a pasar tiempo agradable con mi familia.

D. Me gusta comer Lechona o me gusta comer Mariscos. Y es que realmente me gusta

comer Bandeja Paisa.

E. Si estudio en la UNAD y pertenezco a las Fuerzas Militares de Colombia, Entonces

tendré un 40% de descuento en la Matricula.

Ejercicio seleccionado:

Voy de vacaciones a San Bernardo del Viento o Voy a Capurgana o viajo a Amazonas.

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

a) Definir las proposiciones simples del argumento.

Solución: Las proposiciones simples son:

 p: Voy de vacaciones a San Bernardo del Viento.

q: Voy a Capurgana.

r: Viajo a Amazonas.

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

Solución:

Argumento:

Definición de preposiciones simples:

p: Voy de vacaciones a San Bernardo del Viento

q: Voy a Capurgana o viajo

r: viajo a Amazonas

Lenguaje natural de la exposición formal

p ∨ q∨ r: Voy de vacaciones a San Bernardo del Viento o Voy a Capurgana o viajo a

Amazonas
 Generar Tabla de la Verdad.

p q r p ∨ q∨ r

V V V V

V V F V

F V V V

F F V V

F F F F

Definir si el argumento es: Tautología, Contingencia o contradicción

 El argumento es tautologia.

Argumento en lenguaje simbólico:

pvqvr

c) Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico:

Solución:

TRUTH TABLE:
d) Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

Solución:

p q r pvqvr
v v v v
v v f v
v f v v
v f f v
f v v v
f v f v
f f v v
f f f f

EJERCICIOS 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. [(𝑝⟶�) ∧ (∼𝑝⟶�)]⟶(∼𝑝⟶�)
 B. {(𝑝⟶�) ∧ (�⟶𝑝)}⟶(𝑝⟶�)

C. [(𝑝⟶�) ∧ (∼�) ∧ (�⟶�)]⟶�

D. {[𝑝→(�∨�)] ∧ (𝑝→∼�) ∧ �}→�

E. [[(𝑝→�) ∧ [(�∧�)→𝑝] ∧ �]→ 𝑝

Proposición Compuesta seleccionada:

Proposición Compuesta seleccionada:

B. {(𝑝⟶�) ∧ (�⟶𝑝)} ⟶ (𝑝⟶�)

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

a) 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.

Solución: Las proposiciones simples son:

p: APREDO LO NECESARIO
q: MI DESEMPEÑO SERA EXCELENTE
r: TODOS LOS RESQUISITOS SON SATISFACTORIOS
b) Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples deben ser de autoría de cada estudiante.

Solución:

Lenguaje Simbólico:

{(𝑝⟶�) ∧ (�⟶ 𝑝)} ⟶ ( 𝑝⟶�)

Lenguaje Natural:

SI APRENDO LO NECESARIO, SERE UNO DE LOS MEJORES, MI DESMPEÑO SERA

EXCELENTE Y CUMPLIRE TOODS LO SRESQUISITOS EXIJIDOS.

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

Solución:

p q r {(p→q)Λ(r→p)}→(p→q)

T T T T
T T F T
T F T T
T F F T
F T T T
F T F T
F F T T
F F F T

La expresión es tautologia

(𝑝⟶� {(𝑝⟶�) ∧
p q r (�⟶𝑝) {(𝑝⟶�) ∧ (�⟶𝑝)}
) (�⟶𝑝)}⟶(𝑝⟶�)
v v v v v v v
v v f v v v v
v f v f v f v
v f f f v f v
f v v v f f v
f v f v v v v
f f v v f f v
f f f v v v v
 CONCLUSIONES

 La lógica matemática nos ayuda a desarrollar los procesos de pensamiento

encontrando sentido a lo que normalmente realizamos.

 La utilización de la lógica matemática tiene sus ventajas y desventajas, por lo

tanto, hay que conocerlas y analizarlas.

 La lógica ofrece métodos que enseñan como elaborar proposiciones, evaluar su

valor de verdad y determinar si las conclusiones se han deducido correctamente
a partir de proposiciones supuestas.
 REFERENCIAS BIBLIOGRÁFICAS

 Villalpando, B. J. F. (2000). "Fundamentos de la Lógica Matemática y Cálculo

Proposicional". En ProQuest (Ed). Matemáticas discretas: aplicaciones y
ejercicios de aplicación. (pp. 19 - 29). Guadalajara, México: Larousse - Grupo
Editorial Patria. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=11013570&ppg=30

 Chávez, C. P. (2000). "Lógica Simbólica". En ProQuest (Ed). Compendio de

lógica. (pp. 151- 162). Guadalajara, México: Larousse - Grupo Editorial Patria.
Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=166&docID=11046000&tm=1489704594878

 Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de

proposiciones. Recuperado de http://hdl.handle.net/10596/796

 Algebra preuniversitaria, (2016), lógica proposicional, Recuperado de

https://www.youtube.com/watch?
v=lrnmYWx9NNM&list=PLvV1ifY0oV9sbsYX0K87jyE9uXGBTioTd