UNIDAD 1: TAREA 1 - PROPOSICIONES Y TABLAS DE VERDAD

LEIDY CAROLINA ESCOBAR CORREA

1.110.559.899

PENSAMIENTO LOGICO Y MATEMATICO

GRUPO: 200611B_474

CAROLINA CASTAÑO

ESPECIALISTA EN EDUCACIÓN SUPERIOR A DISTANCIA

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA-UNAD

PSICOLOGIA

IBAGUE. SEPTIEMBRE DEL 2018

1
Contenido
Introducción ........................................................................................................................................ 3
Objetivos ............................................................................................................................................. 4
Ejercicio 1: Conceptualización de Cuantificadores............................................................................. 5
Ejercicio 2: Proposiciones y Tablas de verdad .................................................................................... 7
Ejercicio 3: Problemas de aplicación .................................................................................................. 9
Conclusiones ..................................................................................................................................... 12
Bibliografia ....................................................................................................................................... 13

2
Introducción

El enfoque principal al realizar la presente actividad es comprende los conceptos

fundamentales de la lógica proposicional y aplicarlo para la resolución de problemas, con las
proposiciones, tablas de verdad y cuantificadores, proposiciones y conectores lógicos y tablas
de verdad.

3
Objetivos

Objetivo general.

Identificar los conceptos básicos y fundamentales de la lógica proposicional y los aplica

para la solución de problemas.

Objetivos específicos

 Desarrollar los contenidos de aprendizaje de los conocimientos de las

Proposiciones, tablas de verdad y cuantificadores.

 Proposiciones y Conectores lógicos.

 Tablas de verdad

4
Ejercicio 1: Conceptualización de Cuantificadores

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 de la siguiente manera:

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.

∃!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.

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

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:

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.

Link : https://karito1994.wixsite.com/website

6
Ejercicio 2: Proposiciones y Tablas de verdad

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:

P: voy a hacer un asado

Q: voy a realizar una actividad en la piscina

R: voy a pasar tiempo agradable con mi familia

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

(P ∧ Q) V R

 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) V R

7
 P Q R P∧Q (P ∧ Q) V R

V V V V V

V V F V V

V F V F V

V F F F F

F V V F V

F V F F F

F F V F V

F F F F F

2n=23 = 8

8
Ejercicio 3: Problemas de aplicación

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

natural.

{(𝑝⟶𝑞)∧(𝑟⟶p)}⟶( 𝑝⟶𝑞)

Si ya salio el sol en Colombia, entonces es de dia en Miami-Florida y si entonces en

mexico también es de dia como en Colombia, entonces Miami y mexico tienen la misma
hora.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En
Word, Excel o foto del desarrollo manual).

9
10
P Q R (𝑝⟶𝑞) (𝑟⟶P) ( 𝑝⟶𝑞) {(𝑝⟶𝑞)∧(𝑟⟶P)} {(𝑝⟶𝑞)∧(𝑟⟶P)}⟶( 𝑝⟶𝑞)

V V V V V V V V

V V F V F V F F

V F V F V F F F

V F F F F F F F

F V V F F F F F

F V F F F F F F

F F V F F F F F

F F F F F F F F

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

contradicción o contingencia.

Es tautología ya que es una proposición compuesta es una tautología si es verdadera para

todas las asignaciones de valores de verdad para sus proposiciones componentes.
Es cuando tienen solamente proposiciones verdaderas para todos los valores de verdad de
las variables proposicionales.
Ejemplo: p →q

11
Conclusiones

Tras la realización del presente trabajo se aborda y afianza conocimientos de Lógica

Matemática con referente a los conceptos fundamentales de la lógica proposicional y
aplicarlos para la solución de problemas.

Posteriormente Definir si el argumento seleccionado inicialmente es una tautología,

contradicción o contingencia en los distintos ejercicios.

No obstante emplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural y simbólico.

12
Bibliografia

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

computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado el 26 de Septiembre del
2018 de:
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docID=31997
01&tm=1529335849013

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 el 26 de Septiembre del 2018
de: http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=322
6457&tm=1529246259924

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

computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado el 26 de Septiembre
del 2018
de: https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docID=3
199701&tm=1529510366591

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

proposiciones, [Vídeo]. Recuperado el 26 de Septiembre del 2018
de: http://hdl.handle.net/10596/7961

Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado el 26 de

Septiembre del 2018 de: http://hdl.handle.net/10596/13871

Link: https://karito1994.wixsite.com/website

13