Trabajo Colaborativo

Tarea 1 – Proposiciones y Tablas de Verdad

Presentado por:
ELIZABETH CARVAJAL ORTIZ
Código: 63393558

Grupo: 200611A_614

Tutor: JOHN FREDDY RUANO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PSICOLOGÍA
2019
INTRODUCCIÓN

La lógica es la ciencia que estudia los principios de demostración de los

argumentos, las tablas de verdad son una estrategia lógica que permite
establecer la validez de varias propuestas en cuanto a cualquier situación,
es decir determina las condiciones permitiendo resultados tautológicos,
contradictorios y contingentes.
Este trabajo nos permite estudiar, analizar y realizar 3 problemas, los
cuales nos ayudarán a la comprensión y entendimiento de este tema.
OBJETIVOS

 Conocer Los conceptos básicos de la lógica proposicional

 Desarrollar ejercicios que permitan familiarizarnos con las
proposiciones y tablas de verdad.
 Desarrollar los ejercicios propuestos por el tutor de tal manera que
apliquemos cada uno de los conceptos aprendidos.
 Expresar de manera correcta simbólicamente una proposición.
 Identificar los conectores lógicos y aplicar su lógica en las tablas de
verdad.
 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

Para el desarrollo de este ejercicio, es necesario que revise en el Entorno

de Conocimiento (Unidad 1), la siguiente referencia:

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

sistemas y computación. (pp. 106 - 112). Ediciones Elizcom,
Madrid.

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

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. Cuantificador Universal Afirmativo.
B. Cuantificador Universal negativo.
C. Cuantificador Existencial.
D. Cuantificador Existencial Único.
E. Equivalencias entre cuantificadores.
Solución Ejercicio 1D: Cuantificador Existencial único
Ejercicio 2D: Proposiciones y Tablas de Verdad

Argumento:

D. Sofía estudia medicina o estudia literatura inglesa y Si ella estudia

literatura inglesa entonces escribirá poemas.

 Definir las proposiciones simples del argumento.

Proposiciones Simples: (se define cada proposición simple del

argumento, siempre en afirmativo y con letras en minúscula).

p = Estudia medicina

q = Estudia literatura inglesa

r = escribirá poemas

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

formal.

𝑝 ∨ 𝑞: Sofia estudia medicina o estudia literatura inglesa

∧ (𝑞 ⟶ 𝑟): Y Si ella estudia literatura inglesa, entonces escribirá

poemas
 [(𝑝 ∨ 𝑞)⋀(𝑞 ⟶ 𝑟)]: Sofía estudia medicina o estudia literatura
inglesa y Si ella estudia literatura inglesa entonces escribirá
poemas.

 Generar una tabla de verdad con el simulador Lógica UNAD

a partir del lenguaje simbólico (El estudiante encontrará la
Guía para el uso de recursos educativos Simulador Lógica
UNAD, en el Entorno de Aprendizaje Práctico, así como el link
de acceso al recurso)
 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.

𝒑 𝒒 𝒓 (𝒑 ∨ 𝒒) ( 𝒒 ⟶ 𝒓) [(𝒑 ∨ 𝒒)⋀(𝒒 ⟶ 𝒓)]

𝑣 𝑣 𝑣 𝑣 𝑣 𝑉
𝑣 𝑣 𝑓 𝑣 𝑓 𝐹
𝑣 𝑓 𝑣 𝑣 𝑣 𝑉
𝑣 𝑓 𝑓 𝑣 𝑣 𝑉
𝑓 𝑣 𝑣 𝑣 𝑣 𝑉
𝑓 𝑣 𝑓 𝑣 𝑓 𝐹
𝑓 𝑓 𝑣 𝑓 𝑣 𝐹
𝑓 𝑓 𝑓 𝑓 𝑣 𝐹

El Resultado es una “contingencia”, ya que las proposiciones

que la integran es una combinación entre tautología y
contradicción.
Ejercicio 3D: Problemas de aplicación

Descripción del ejercicio:

D. (𝒑 ⋁𝒒) ⋀ (𝒒 ⟶ (𝒓 ⋀ 𝒔))

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:
𝑝: Elizabeth estudia en la UNAD

𝑞: La UNAD tiene sede en Málaga

𝑟: Ella estudia psicología

𝑠: cursa segundo semestre

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

natural.
Elizabeth estudia en la UNAD o la UNAD tiene sede en Málaga, y la UNAD tiene
sede en Málaga entonces ella estudia psicología y cursa segundo semestre.

(𝒑 ⋁𝒒) : Elizabeth estudia en la UNAD o la UNAD tiene sede en Málaga

(𝒒) : y la UNAD tiene sede en Málaga,
(𝒓 ⋀ 𝒔): ella estudia psicología y cursa segundo semestre.
• Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico
• Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico.

𝒑 𝒒 𝒓 𝒔 (𝒑 ⋁𝒒) (𝒓 ⋀𝒔) (𝒒 ⟶ (𝒓 ⋀𝒔)) (𝒑 ⋁𝒒) ⋀ (𝒒 ⟶ (𝒓 ⋀𝒔))

𝑣 𝑣 𝑣 𝑣 𝑣 𝑣 𝑣 𝑉
𝑣 𝑣 𝑣 𝑓 𝑣 𝑓 𝑓 𝐹
𝑣 𝑣 𝑓 𝑣 𝑣 𝑓 𝑓 𝐹
𝑣 𝑣 𝑓 𝑓 𝑣 𝑓 𝑓 𝐹
𝑣 𝑓 𝑣 𝑣 𝑣 𝑣 𝑣 𝑉
𝑣 𝑓 𝑣 𝑓 𝑣 𝑓 𝑣 𝑉
𝑣 𝑓 𝑓 𝑣 𝑣 𝑓 𝑣 𝑉
𝑣 𝑓 𝑓 𝑓 𝑣 𝑓 𝑣 𝑉
𝑓 𝑣 𝑣 𝑣 𝑣 𝑣 𝑣 𝑉
𝑓 𝑣 𝑣 𝑓 𝑣 𝑓 𝑓 𝐹
𝑓 𝑣 𝑓 𝑣 𝑣 𝑓 𝑓 𝐹
𝑓 𝑣 𝑓 𝑓 𝑣 𝑓 𝑓 𝐹
𝑓 𝑓 𝑣 𝑣 𝑓 𝑣 𝑣 𝐹
𝑓 𝑓 𝑣 𝑓 𝑓 𝑓 𝑣 𝐹
𝑓 𝑓 𝑓 𝑣 𝑓 𝑓 𝑣 𝐹
𝑓 𝑓 𝑓 𝑓 𝑓 𝑓 𝑣 𝐹

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

contradicción o contingencia

El Resultado es una “contingencia”, ya que las proposiciones

que la integran es una combinación entre tautología y
contradicción.
BIBLIOGRAFIA

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

sistemas y computación. (pp. 106 - 112). Ediciones Elizcom,
Madrid.

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

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

sistemas y computación. (pp. 9-28). Ediciones Elizcom, Madrid.

 https://campus08.unad.edu.co/ecbti55/mod/forum/discuss.php?d=4762#p77364

 https://campus08.unad.edu.co/ecbti55/mod/forum/discuss.php?d=4762#p77364