TAREA 1- PROPOSICIONES Y TABLAS DE VERDAD

KEIDY CRISTINA REAL BOLAÑOS - CODIGO 1016075479 – GRUPO

200611_280

ALBERTO LOPEZ

SEPTIEMBRE -2019

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA

PENSAMIENTO LOGICO MATEMATICO

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
Los temas propuestos son:
herramienta digital. A partir del tema deberá dar su definición y dos ejemplos.

A. Cuantificador Universal Afirmativo.

B. Cuantificador Universal negativo.
C. Cuantificador Existencial.
D. Cuantificador Existencial Único.
E. Equivalencias entre cuantificadores.

En el caso de seleccionar la herramienta PREZI, debe dirigirse a la página web

https://prezi.com/es/ y realizar la apertura de una cuenta para lograr hacer uso de la herramienta,
posteriormente debe colocar el enlace de la presentación en el documento que consolidará para
entregar en el entorno de seguimiento y evaluación.
Si realiza su presentación en una herramienta office como lo es PowerPoint, por favor en el
informe final de la tarea, debe pegar los pantallazos de las diapositivas de su presentación.

https://prezi.com/p/phhakzykvmnu/pensamiento-logico-matematico/

Ejercicio 2: Proposiciones y Tablas de verdad

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

(Unidad 1), las siguientes referencias:
• 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.

Una vez realizadas las lecturas, desarrolle el ejercicio propuesto.

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

C. Empresas estadounidenses no pueden negociar con empresas chinas o Google es una empresa
estadounidense y si Huawei es una empresa china entonces no tiene Android de Google.

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

• Definir las proposiciones simples del argumento.

pqrs

p Empresa estadounidenses no podrán negociar con China

q Huawei es una empresa china
r Google es un empresa estadounidense
s No tiene Android de Google

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

(p˯q) ^(r⟶ ¬s)

• 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.
p q r s (¬p) [(¬pvq (¬ s ) (¬pvq)
) (r→ ¬ s ) ^( r → ¬ s )
V V V V F V F F F
V V V F F V V V V
V V F V F V F V V
V V F F F V V V V
V F V V F F F F F
V F V F F F V V F
V F F V F F F V F
V F F F F F V V F
F V V V v V F F F
F V V F v V V V V
F V F V v V F V V
F V F F v V V V V
F F V V v V F F F
F F V F v V V V V
F F F V v V F V V
F F F F v V V V V

Ejercicio 3: Problemas de aplicación

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

(Unidad 1), las siguientes referencias:
• 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.

Una vez realizadas las lecturas, desarrolle el ejercicio propuesto.

Descripción del ejercicio:

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento) para el
desarrollo del ejercicio 3:

C. [(𝑝 ⋁𝑞)⟷𝑟]

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
• p: Soy estudiante del segundo semestre de psicología en la unad
• q: veo pensamiento lógico matemático este periodo
• r: Aplico las proposiciones y tablas de verdad en esta materia
•

[(𝑝 ⋁𝑞) ⟷𝑟]

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

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerará como copia y se tomarán las medidas
correctivas estipuladas por la UNAD.

Soy estudiante del segundo semestre de la Unad, entonces veo pasamiento lógico matemático este
periodo, y debo aplicar las proposiciones y tablas de verdad en esta materia.

• 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 (En Word, Excel
o foto del desarrollo manual).

p Q r (pvq) (pvq)↔r

V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F F
F F F F V

• Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

contingencia

Tabla de contingencia