Trabajo Individual

Unidad 1: Tarea 1 - Proposiciones y tablas de verdad

Cindy Paola Bermúdez Vélez

POR:

Código: 1020784890

3208609442
Celular:

Grupo: 200611_41

TUTOR:
Arnol Ortiz Armero

Universidad Nacional Abierta y a Distancia

(UNAD)
Nilo
Psicología
Septiembre: 30 Del 2018
 INTRODUCCION

El orden en que se presenta el documento es el siguiente: Primeramente se establece la

importancia de la lógica matemática, después definimos el concepto de proposición. Se
establece el significado y la  utilidad de conectivos lógicos para formar proposiciones
compuestas que también se trata además de presentar las explicaciones con ejemplos que le
sean familiares.
 

OBJETIVO

La lógica matemática su principal OBJETIVO en Este trabajo busca que el estudiante

conozca y aplique los conceptos de lógica proposicional y Conocer los diferentes tipos de
conectivos lógicos y Trabajar los diferentes tipos de proposiciones a través de tablas de
verdad.
 PENSAMIENTO LOGICO MATEMATICO

UNIDAD 1
Ejercicio: 1

C: CUANTIFICADORES EN LÓGICA MATEMÁTICAS

Cuantificador existencial único

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

Si tenemos dos conjuntos diferentes A y  B, y A es un subconjunto de  B:

Existe al menos un elemento  B que pertenece a A:

Al afirmar que existe al menos un x que pertenece a  B y pertenece a A,
quiere decir que no todos los elementos de B pertenecen a A, al ser A y
B conjuntos distintos, existe al menos un elemento y de B que no
pertenece a A:

EJERCICIO 2:
PROPOSICIONES Y TABLAS DE VERDAD

Descripción del ejercicio:

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

 Definir las proposiciones simples del argumento.

RTA/
p: voy a hacer un asado
q: voy a realizar una actividad en la piscina
r: voy a pasar tiempo agradable con mi familia
  Generar una tabla de verdad con el simulador TruthTable a partir
del lenguaje simbólico.

 (p ˄ q) ˄ r

 Tabla de verdad manualmente.

p q r p˄q (p ˄ q) ˄ r
V V V V V
V V F V F
V F V F F
V F F F F
F V V F F
F V F F F
F F V F F
F F F F F
 EJERCICIO 3:
PROPOSICIONES Y TABLAS DE VERDAD

Descripción del ejercicio:

A continuación, encontrará proposiciones compuestas en lenguaje

simbólico (argumento) para el desarrollo del ejercicio 3:

C [(𝑝⟶𝑞)∧(∼𝑞)∧(r⟶q)]⟶r

p. Si salgo este fin de semana

q. Bailo
r. Llegue tarde a casa
Si salgo este fin de semana entonces bailo, y no bailo, y si llegue tarde
a casa entonces bailo. Entonces llegue tarde a casa.

 Generar una tabla de verdad con el simulador TruthTable a partir

del lenguaje simbólico.
  Tabla de verdad manualmente.

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

𝑞 𝑞 ) q )
V V V F V F V F V
V V F F V F V F V
V F V V F F F F V
V F F V F F V F V
F V V F V F V F V
F V F F V F V F V
F F V V V V F F V
F F F V V V V V F
 CONCLUSIONES

La idea principal de este trabajo es que nosotros como estudiantes aprendamos el

concepto de proposición, la forma en que se pueden formar proposiciones compuestas
usando los conectores lógicos, representar enunciados por medio de simbología lógica Con
este trabajo también se logra comprender el manejo de una nueva herramienta como lo es la
tabla de verdad, la cual muestra el valor de verdad de una proposición compuesta, para cada
combinación de verdad que se pueda asignar.

Referencias Bibliográficas
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/reader.
action?ppg=20&docID=3226457&tm=1529246259924

Proposiciones y Conectores lógicos

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de
sistemas y computación. (pp. 9-28). Ediciones Elizcom, Madrid.
Recuperado
dehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.
action?ppg=12&docID=3199701&tm=1529335849013

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/reader
.action?ppg=109&docID=3199701&tm=1529510366591
Tablas de verdad
Moscote, H. (2016) Aplicación de las tablas de verdad en el
álgebra de proposiciones, [Vídeo]. Recuperado
de http://hdl.handle.net/10596/7961
.