Unidad 1: Tarea 1 - Proposiciones y tablas de verdad

Trabajo hecho por:

Periodo 8-05

Tutor:

Ángela Holguín Roja

Universidad Nacional Abierta y a Distancia (UNAD)

PENSAMIENTO LOGICO Y MATEMATICO

Tecnología en logística industrial

Cead Cali

Septiembre 2019

INTRODUCCION
El desarrollo de esta actividad devela el apropiamiento que el estudiante adquirió de

los conceptos, elementos y herramientas teórico-prácticas; sobre razonamientos

lógicos, estructuración y validez, también la representación y estructuración en

lenguaje simbólico de las diversas premisas y conclusiones dadas para cada caso;

elaborando sus respectivas tablas de verdad, para de este modo fortalecer la destreza

en la formulación de argumentos e hipótesis que den validez lógica a nuevas

concepciones o actualizaciones cognitivas, que serán de gran utilidad en la vida

cotidiana y en el quehacer profesional.

 OBJETIVOS

OBJETIVO GENERAL

Desarrollar las temáticas de proposiciones, tablas de verdad, conjuntos y sus

operaciones

OBJETIVOS ESPECIFICOS

Utilizar estrategias basadas en problemas

Interactuar con los diferentes compañeros

Adquirir herramientas útiles para nuestra vida profesional

Diferenciar que son:

- tautología

- contingencia

- contradicción
 1. Ejercicio

Equivalencias entre cuantificadores.

Trabajo hecho en prezi

https://prezi.com/p/ddckqtjeygdw/equivalencias-entre-cuantificadores/

Explicación de tema seleccionado.

En lógica matemática, teoría de conjuntos y matemáticas en general, los cuantificadores

son símbolos utilizados para indicar cuántos o qué tipo de elementos de un conjunto

dado cumplen con cierta propiedad (por ejemplo, pertenencia, equivalencia u orden).

Existen muchos tipos de cuantificadores, entre los más utilizados están:

 Cuantificador universal

∀x,y…

Para todo x, y...

 Cuantificador existencial
 ∃x,y…

Existe al menos un x, y...

 Cuantificador existencial único

∃!x,y…

Existe exactamente un x, y...

 Negación del cuantificador existencial

∄x,y…

No existe ningún x, y...

Declaraciones cuantificadas

Las declaraciones cuantificadas se escriben en la forma:

 ∀x∈R,2x∈R

Para todo x que pertenece a R, se cumple que 2x pertenece a R.

 ∀a∈R,∃x∈R:a<x<(a+1)

Para todo a que pertenece a R, existe x que pertenece a R, que está comprendido entre a

y a+1.

 ∀a∈R−{0},∃!x∈R:a⋅x=1

Para todo a que pertenece a R diferente de cero, existe un único x que pertenece a R,

que cumple que a por x es igual a 1.

Proposiciones
Cuantificación universal

El cuantificador universal se utiliza para afirmar que todos los elementos de un conjunto

cumplen con una determinada propiedad. Por ejemplo:

∀x∈A:P(x)

Para todo x perteneciente a A, se cumple P(x).

Esta afirmación suele usarse como la equivalente de la proposición siguiente:

A={x∈U:P(x)}

Se define el conjunto A, como el de los elementos x de U, que cumplen P(x).

Cuantificación existencial

El cuantificador existencial se usa para indicar que hay uno o más elementos en el

conjunto A (no necesariamente único/s) que cumplen una determinada propiedad. Se

escribe:

∃x∈A:P(x)

Existe x en A que cumple P(x).

Esta proposición suele interpretarse como la equivalente de la proposición siguiente:

{x∈A:P(x)}≠∅

El conjunto de los elementos x de A, que cumplen P(x) es distinto del conjunto

vacío.

Cuantificación existencial única

El cuantificador existencial con marca de unicidad se usa para indicar que hay un único

elemento de un conjunto A que cumple una determinada propiedad. Se escribe:

∃!x∈A:P(x)

Se lee:

Existe una única x elementos de A, que cumple P(x).

Equivalencias

Se tienen las siguientes relaciones universales:

∀x∈A:P(x)⟷¬∃x∈A:¬P(x)

Si: para todo x de A se cumple P(x), es equivalente a: no existe x en A que no

cumpla P(x).

∃x∈A:P(x)⟷¬∀x∈A:¬P(x)

Si: existe x en A que cumple P(x), es equivalente a: no para todo x de A, no se

cumple P(x).

En cuanto al cuantificador existencial único puede considerarse una extensión por

definición en un lenguaje formal con igualdad teniendo dada la equivalencia:

∃!x∈A:P(x)⟷∃z∈A ∀x,y∈A:P(z)∧(P(x)∧P(y)→x=y)

Si: existe un único x en A que cumple P(x), es equivalente a: para todo x, y de

A, que cumple P(x) y P(y), entonces x es igual a y.

Ejemplos:
1. Sea A = {1, 2, 3, 4, 5}. Determine el valor de verdad de cada uno de los enunciados

siguientes:

a. ( X E A) (X+3=10)

Es FALSO porque ningún número de A es una solución de x+3=10

b. ( XEA) (X+3 <10)

Es VERDADERO. Cualquier número de A cumple que x+3<10

2. Ejercicio

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.

R//

p= el vehículo de Gabriela mantenimiento.

q= lo lleva al concesionario.

r= lo lleva al taller de Fernando

Lenguaje natural de la exposición formal

p →q : Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo lleva

al concesionario

¬q→r: si ella no lo lleva al concesionario entonces, lo lleva al taller de

Fernando

p →q ∨ ¬q→r: 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

al taller de Fernando

Generar Tabla de la Verdad.

p →q ∨ ¬q→r

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

El argumento es contingencia. Tiene valores falsos y verdaderos

Tautología una proposición que es cierta para cualquier valor de verdad de sus

componentes. Por tanto, la última columna de su tabla de verdad estará formada

únicamente por verdadero.

Contradicción:

Es la negación de una tautología, luego es una proposición falsa cualesquiera

sea el valor de verdad de sus componentes. La última columna de la tabla de
verdad de una contradicción estará formada únicamente por falso.
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 (p→q) (~q) ((~q)→r) (((p→q))v(((~q)→r)))

V V V V F V V

V V F V F V V

V F V F V V V

V F F F V F F

F V V V F V V

F V F V F V V

F F V V V V V

F F F V V F V

El resultado de la tabla de la verdad podemos deducir que es una: CONTINGENCIA

 3. Ejercicio

1. Lenguaje simbólico seleccionado es:

A. (𝑝 ∧ 𝑞) → (𝑟 ⋀ 𝑠)

p= Soy disciplinada en mis estudios

q= Entrego mis aportes significativos a tiempo

r= reviso con cuidado la guía rubrica

s= en la unad hay excelentes compañeros

(p ∧ 𝑞) → (𝑟 ⋀ 𝑠)
2. Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico.

3. Tabla de la verdad manual a partir del lenguaje simbólico.

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

Podemos deducir que es una tabla de= CONTINGUENCIA

Una proposición es una contingencia si no es ni verdadera ni falsa independientemente

de los valores de verdad de las proposiciones simples que la componen.
CONLUSIONES

Reforzamos los conocimientos adquiridos en la anterior unidad al dar uso de las formas
básicas de las tablas de verdad, los principios de lógica y los razonamientos lógicos para
demostrar la validez o no validez de las situaciones o problemas propuestas.

Analizamos en grupo la situación problémica sugerida en la guía por medio de las

inferencias lógicas y las leyes de inferencia planteando una solución
 REFERENCIAS BIBLIOGRAFICAS.

Cuantificadores

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

de sistemas y computación. (pp. 106-112). Ediciones Elizcom,
Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/read
er.action?ppg=109&docID=3199701&tm=1529510366591

https://prezi.com/dashboard/next/

http://primeraunidad101.blogspot.com/2014/08/cuantificadores.html

Proposiciones y tablas de verdad

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 http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/read
er.action?ppg=20&docID=3226457&tm=1529246259924

https://es.wikipedia.org/wiki/Lenguaje_formal

Proposiciones y tablas de verdad

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 http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/read
er.action?ppg=20&docID=3226457&tm=1529246259924

https://www.youtube.com/watch?v=X3waxFrtuTI&t=945s