Taller unidad 1

Preposiciones y tabla de verdad

Presentado por:

Adriana Patricia Prez Mendoza

Grupo: 200611_68

Programa:

Tutor:

Analfi Galindo Ospino

Pensamiento Lógico y Matemático

Universidad Nacional Abierta y a Distancia

Vicerrectoría Académica y de Investigación

UNAD CCAV Sahagún

Junio 2019
 INTRODUCCION

En este trabajo reforzaremos los conceptos de Lógica proposicional,

tablas de verdad en proposiciones compuestas, álgebra de
proposiciones, tautologías y contradicciones y contingencias,
proposiciones categóricas, cuantificadores; mediante el desarrollo de
ejercicios, el uso del simulador Truth table para generar tablas de
verdad. Además, se hace uso de la herramienta Prezzi para representar
de manera gráfica la definición y ejemplos de cuantificadores.
 OBJETIVOS

General

Conocer y aplicar los conceptos de cuantificador universal afirmativo,

teoría de conjuntos y proposiciones en el desarrollo de los ejercicios
planteados utilizando herramientas como prezzi y Truth table

Específicos

 Analizar cada una de las temáticas a desarrollar.

 Identificar el concepto de cuantificador universal afirmativo y
ejemplos.
 Desarrollar ejercicios aplicando la teoría de conjuntos.
 Dar uso al simulador Truth table para generar tablas de verdad.
 Aplicar los conocimientos adquiridos en esta temática para
desarrollar los ejercicios planteados
Ejercicio 1: Conceptualización de Cuantificadores

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.

Link Prezzi:

https://prezi.com/p/nyn4neb1arlb/cuantificador-universal-afirmativo/#present
Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del
ejercicio
A. Si Margarita es doctora y Edgar no es ingeniero, entonces David es
profesor y Edgar es psicólogo.
A partir del argumento que haya seleccionado deberá dar respuesta a
los siguientes ítems:

 Definir las proposiciones simples del argumento.

P: Margarita es doctora

q: Edgar es ingeniero

r: David es profesor

s: Edgar es psicólogo

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

[(𝑝 ∧ ∼𝑞) ⟶ (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.

Expresión simbólica: [(𝑝 ∧ ∼𝑞) ⟶ (r ∧ s)]

P q r s ∼𝑞 (𝑝 ∧ ∼𝑞) (r ∧ s) [(𝑝 ∧ ∼𝑞) ⟶ (r ∧ s)]

V V V V f F V V

V V V F F F F V

V V F V F F F V

V V F F F F F V

V F V V v V V V

V F V F V V F F

V F F V V V F F

V F F F V v F F

F V V V f F V V

F V V F F F F V

F V F V F F F V

f V F F F F F V

F F V V V F v V

F F V F V F F V

F F F V V F F V

F f f f v f f v

R/ Resultado de la tabla de verdad Es contingencia

Ejercicio 3: Problemas de aplicación

Descripción del ejercicio:

A continuación, encontrará proposiciones compuestas en lenguaje

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

A. ~ [(p ˅ q) → (r ^ s)]

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 participante del curso pensamiento lógico y matemático
q: participo en el foro colaborativo
R: desarrollo los ejercicios de preposiciones
S: aprobare el curso

 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.
 Lenguaje natural de la expresión formal: no es cierto
que soy participante del curso pensamiento lógico y
matemático o participo en el foro colaborativo por lo tanto
 desarrollo los ejercicios de preposiciones y aprobare el
curso.
 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).

Definir si el argumento seleccionado inicialmente es una

tautología, contradicción o contingencia. ~ [(p ˅ q) → (r ^ s)]

P q r s [(p ˅ q) (r ^ s) [(p ˅ q) → (r ^ s)] ~ [(p ˅ q) → (r ^ s)]

V V V V V V V F

V V V F V F F V

V V F V V F F V

V V F F V F F V

V F V V V V V F

V F V F V F F V

V F F V V F F V

V F F F V F f v

F V V V V V V F

F V V F V F F V

F V F V V F F V

f V F F V F F V

F F V V F V V F

F F V F F F V F

F F F V F F V F

F f f f f F V F

R/ Resultado de la tabla de verdad Es contingencia

 CONCLUSION

Con este trabajo se logra comprender el concepto de cuantificadores,

proposiciones y 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.,
como también el desarrollo de problemas de la Lógica Proposicional y la
forma de aplicarlos para resolver problemas cotidianos por medio de
tablas de verdad de forma manual como también utilizando el simulador
Truth table.

El desarrollo de este taller fue fundamental en el proceso de aprendizaje

ya que no solo se logra aclara muchas inquietudes, sino que también se
aprendió a utilizar herramientas nuevas como el simulador Truth table y
la herramienta prezzi para presentaciones gráficas.
 BIBLIOGRAFIA

 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/re
ader.action?ppg=20&docID=3226457&tm=152924625992
4
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de
sistemas y computación. (pp. 106 - 112). Ediciones Elizcom,
Madrid.
 https://prezi.com/
 Cuantificador universal. (2017, 8 de mayo). Wikipedia, La
enciclopedia libre. Fecha de consulta: 20:15, junio 26, 2019 desde
https://es.wikipedia.org/w/index.php?title=Cuantificador_universa
l&oldid=98965049
 https://www.google.com/search?biw=1360&bih=608&tbm=isch&sa=1&ei=adoUXeTnBqG
c_QaFz5Jg&q=cuantificadores+ejemplos&oq=+cuantificadores&gs_l=img.1.4.0i67j0j0i67j0
j0i67l2j0l4.50736.50736..53721...0.0..0.151.151.0j1......0....1..gws-wiz-
img.dJ9uxntkCK0#imgdii=w0eRCoKIeuyrKM:&imgrc=g3QgSd8Rs3jOVM:
 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.