Proposiciones y Tablas de Verdad –Tarea 1

Mónica Lizeth López Bolaños Cód. 200611 Grupo.645

Febrero 2019

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios

Pensamiento Lógico y Matemático

 Introducción

Cuando se estudia los principios básicos de la lógica, se demuestra a través del desarrollo de
problemas su validez y su comprobación, de esta manera se observara el proceso de las
actividades planteadas en la respectiva tarea.
 Objetivos

 Tener la capacidad de desarrollar favorablemente los problemas planteados a

través de las tablas de verdad.
 Tener claridad en todos los conceptos de esta unidad, con el fin de desarrollar
nuestra lógica ante cualquier situación matemática.
 Comprender el lenguaje simbólico de las proposiciones matemáticas.
 Desarrollo de Ejercicios

Ejercicio 1:

Cuantificador Existencial

Es otro tipo de cuantificador dentro del cálculo de predicados, el cual indica que algún o algunos
valores son verdaderos dentro de un dominio o contexto específico.
De acuerdo a [ⱻ], sea A una expresión, y sea x una variable. Si deseamos indicar que A es
verdadero para cuando menos un valor de x, escribiremos ⱻxA. Esta frase se lee “existe un x tal
que A”. Aquí, ⱻxA se denomina cuantificador existencial, y se dice que A es el ámbito (alcance)
del cuantificador existencial, se dice que la variable x está ligada por el cuantificador. El símbolo
A se lee “existe al menos”

Algunas de las frases con las que se idéntica generalmente este cuantificador son:

 Existe al menos un x
 Para algún x
 Para algunos x
 Existe un x tal que
 Algunos x
 Cuando menos un x

Existen expresiones existenciales afirmativas y negativas

Ejemplos:

1. Existe al menos un joven que juega futbol y es odontólogo

ⱻx (p (joven) → q (juega futbol) ᴧ r (odontólogo))

 ⱻx (p (x) → q (x) ᴧ r (x))

2. Algunos médicos no tienen especialización

ⱻ X (p (médicos) ¬ q (especialización))

ⱻ X (p (x) ¬ q (x))

Link de la Actividad

 https://prezi.com/p/fbbumhrbjqzj/
Ejercicio 2:
Argumento
C. Pereira es el nombre de una ciudad o Pereira es un apellido, entonces Pereira es un sustantivo.

 Proposiciones simples

p: Pereira es el nombre de una ciudad.

q: Pereira es un apellido.
r: Pereira es un sustantivo.

 Lenguaje simbólico o formal del argumento

(p ν q) →r

 Tabla de verdad, simulador UNAD

 Tabla de verdad manual

 p Q R pνq p ν q →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 V
F F F F V

El resultado de la tabla de verdad es Contingencia

Ejercicio 3:
Proposición Compuesta
 C. (p ↔ ¬ q) v (q ᴧ r)

 Proposiciones simples

p: Juan va a estudiar a la biblioteca

q: Pedro consigue los libros en su casa

r: Estudian juntos para mejorar las calificaciones

 Lenguaje simbólico natural

Juan va a estudiar a la biblioteca si y solo si pedro no consigue los libros en su casa o pedro
consigue los libros en su casa y estudian juntos para mejorar las calificaciones.

 Tabla de verdad simulador UNAD.

 Tabla de verdad, manual

p q r ¬q p↔¬q qᴧr p↔¬q v q ᴧ r

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

El resultado de la tabla de verdad es CONTINGENCIA.

 Conclusiones

 De esta forma, se afirma que el material de apoyo brindado por los tutores es claro,

preciso y conciso por consiguiente este mismo nos ayuda a obtener mejores resultados en

el desarrollo de los ejercicios.

 Con este trabajo se observó, que por medio de la comprensión lógica y el conocimiento

de los conceptos básicos se permite un desarrollo concreto de problemas matemáticos.

 BIBLIOGRAFIA

 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=
3199701&tm=1529510366591

 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=32
26457&tm=1529246259924

 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=3
199701&tm=1529335849013