TAREA 1- PROPOSICIONES Y TABLAS DE VERDAD

KATHERYN ANDREA GUTIERREZ CASTAÑO

INGENIERIA INDUSTRIAL

PENSAMIENTO LÓGICO Y MATEMÁTICO

CRISTIAN ANDRES JAIMES

GRUPO 1261

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD

ZONA AMAZONÍA ORINOQUÍA

CEAD-ACACIAS

MARZO, 2019
 INTRODUCCIÓN:

En este trabajo se ha integrado de manera didáctica y manual el desarrollo de ejercicios

básicos contenidos en la lógica matemática, como lo son las tablas de verdad partiendo del
planteamiento de proposiciones simples o compuestas y su representación simbólica
mediante conectores lógicos matemáticos a fin de hallar su valor de verdad, las operaciones
entre conjuntos que dan cabida a los cuantificadores universales afirmativos que es el que
en este trabajo se explica, sin olvidar el cuantificador existencial, al cual no haremos
referencia en este trabajo.
 OBJETIVOS

 Conocer los fundamentos básicos de la lógica matemática mediante la resolución

practica de ejercicios proposicionales.
 Identificar los diferentes conectores aplicables en el contexto lógico matemático.
 Establecer valores de verdad de una proposición mediante su expresión simbólica.
 Identificar las diferentes formas de expresión para cuantificadores.
PRESENTACIÓN DE CUANTIFICADOR UNIVERSAL:

https://www.powtoon.com/online-presentation/dJJuZ7rYSnc/?mode=presentation

QUE ES UN CUANTIFICADOR:

Es aquella palabra que se pone al inicio de una aseveración y concreta el significado de las
mismas y las palabras que se usan todos, ninguno, algunos, no todos.

CUANTIFICADOR UNIVERSAL AFIRMATIVO

Las frases que comúnmente se usan para denotar el cuantificador Universal afirmativo son:
 Todos x - Todo x
 Para cada x
 Cada x
 Cada uno x
 Siempre que x
 Cualquiera x
 Para todo x

Si se desea representar por ejemplo la expresión: “Todas las personas tienen una ilusión”.
Para este caso se identifica el predicado: “tienen una ilusión”, entonces P(x) significa que x
tiene una ilusión. La palabra “todas las personas” indica que esto se aplica para todos los x.
Se formaliza:

∀x P(x)
A continuación, se muestra una seria de formalizaciones de expresiones en las cuales se
aplica el cuantificador universal afirmativo.

 Todos los Chilenos comen salmón y juegan futbol

∀x (Chileno(x) → come salmón (x) ^ juega futbol(x))

 Todos los Bogotanos son Colombianos, se puede representar:

Para todo x, si x es Bogotano, entonces x es colombiano
∀x (Bogotano(x) → Colombiano(x))

 Siempre que el equipo gana o empata, todos quedan felices.

∀x (feliz(x) → equipo gana(x) v equipo empata(x)).

OTROS EJEMPLOS:

 Todos los niños del mundo toman agua.

Todos los niños x , mundo x, toman agua p(x).

 ∀x ϵ x → p x
 Para todo estudiante de la UNAD se realiza una inducción.

Estudiante x, UNAD x, realiza una inducción p(x).

∀x ϵ x → p x

Ejercicio 2: Proposiciones y Tablas de verdad

A. Si Laura chatea en su celular y conduce por la autopista entonces Laura tiene una
alta probabilidad de accidentarse o Laura puede dañar su automóvil.

 Proposiciones simples:
p: Laura chatea en su celular.
q: conduce por la autopista.
r: Laura tiene una alta probabilidad de accidentarse.
s: Laura puede dañar su automóvil.

 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:
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 q r s (p^q) (p^q) r (p^q) (r ∨ s)

v v v v V v V

v v v f V v V

v v f v V f V

v v f f V f F

v f v v F v V

v f v f F v V

v f f v F v V

v f f f F v V

f v v v F v V

f v v f F v V

f v f v F v V

f v f f f v V

f f v v f v V

f f v F f v V

f f f V f v V

f f f F f v V

 Resultado de tabla de verdad: Contingencia.

Ejercicio 3: Problemas de aplicación:

A. (p^q) (r ∨¬ q)

Andrea estudia en la UNAD Ingeniería Industrial y asiste los sábados a CIPAS entonces
aprende más o no asiste los sábados a CIPAS.

p: Andrea estudia en la UNAD Ingeniería Industrial.

q: asiste los sábados a CIPAS.
r: aprende más.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
 P q R ¬q p^q r v ¬q (p^q)(r¬q)
V V V F V V V
V V F F V F F
V F V V F V V
V F F V F V V
F V V F F V V
F V F F F F V
F F V V F V V
F F F V F V V

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

contingencia

 Resultado de tabla de verdad: Contingencia.

 CONCLUSIONES

Con el desarrollo de este trabajo, puedo concluir que cada uno de los temas que se
expusieron en este documento son aplicables en cada uno de los ámbitos de la vida
cotidiana, pues desde mi punto de vista no tenía el pleno conocimiento de que la
matemática pueda determinar un grado de verdad o falsedad contenido en una oración que
usemos sea simple o compuesta.

La matemática como ciencia compuesta demuestra ser prácticamente la base fundamental

de la existencia misma pues todo en la vida es cuantificab le, todo es medible.
 REFERANCIAS

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=31
99701&tm=1529510366591

Marco Guerrero Figueroa CENACME Publicado el 25 sep. 2013 Recuperado 23 de febrero

https://www.youtube.com/watch?v=Gbe2_I6sgWQ

-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=3226
457&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=319
9701&tm=1529335849013

Enlace del simulador Lógica UNAD:

Jairo Marin. [Jairo Marin]. (2019). [Simulador Truth]. Recuperado
de: http://logicaunad.com/jtruth/