PENSAMIENTO LOGICO Y MATEMATICO

TAREA 1:

PROPOSICIONES Y TABLAS DE VERDAD

TUTORA

ANDRES RODRIGO BERMUDEZ

ESTUDIANTE

JESUS ALBERTO CARDONA MERCADO

Nº DE GRUPO

200611_279

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

(UNAD)
INTRODUCCION.

1. Tema del trabajo: Proposiciones y Tablas de Verdad.

2. Ejercicio 1 Unidad 1: Tema Equivalencias Entre Cuantificadores y presentación.
3. Ejercicio 2 Unidad 1: Proposiciones y Tablas De Verdad, Definición de las
proposiciones.
4. Ejercicio 3 Unidad 1:Descripcion Del Ejercicio: E. (� → �) ∧ (� ∨ ¬�)
5. Bibliografías.

PROPOSICIONES Y TABLAS DE VERDAD.

Las proposiciones, una proposición es un enunciado, frase o expresión que tiene un

significado determinado y que mediante un criterio definido puede ser clasificado
inequívocamente como verdadero o falso. Tablas de verdad o tabla de valores de verdad, es
una tabla que muestra el valor de verdad de una proposición compuesta, para cada
combinación de valores de verdad que se pueda asignar a sus componentes. Eta realización
cuenta con diferentes tablas donde se evidencia las diferentes opciones como falsas y
verdaderas, identificando si los argumentos son una tautología, contradicción o contingencia
de acuerdo al resultado final, dando soluciones a los diferentes ejercicios teniendo en cuenta
los diferentes símbolos y características para la realización de los mismos.

Los objetivos se clasifican en diferentes maneras tanto en práctica como adquirir

conocimiento se caracteriza por influir a la educación, facilitando la comprensión con los
amplios y diferentes conceptos, poniendo en práctica lo aprendido como reflejar ejercicios y
realizando tablas de verdad e incluyendo los diferentes signo, permitiendo la comprensión y
conociendo los diferentes conceptos de dicho tema.
 1. Ejercicio 1 Unidad 1: Tema Equivalencias Entre Cuantificadores.

E) EQUIVALENCIAS ENTRE CUANTIFICADORES

Los cuantificadores son los diferentes símbolos que se utilizan, para indicar la cantidad o
clase de elementos que conforman un conjunto.

Cada símbolo representa una propiedad, ya sea; pertenencia, equivalencia u orden.

Los cuantificadores son los símbolos que se emplean en los contextos para poder señalar
cuantos o los tipos de elementos que integran un conjunto dado y que cumplen con
determinada propiedad, por ejemplo pertenencia, equivalente u orden).

Equivalencias entre cuantificadores.

Por medio de los cuantificadores, podemos establecer, cuantos elementos de un conjunto
cumple con cierta propiedad, existen muchos tipos de cuantificadores, entre los más
utilizados están.

El cuantificador universal se utiliza para afirmar que todos los elementos de un conjunto
cumplen con una determinada propiedad.

El cuantificador existencial se usa para indicar que hay uno o más elementos en el
conjunto A (no necesariamente único/s) que cumplen una determinada propiedad.

El cuantificador existencial con marca de unicidad se usa para indicar que hay un único
elemento de un conjunto A que cumple una determinada propiedad.

Ejemplos de equivalencias entre cuantificadores

Ejemplo 1.

Cuantificador Universal.

Si tenemos los conjuntos A y B, y A es un subconjunto de B, entonces.

Todo elemento X de A pertenece a B.

A Y B conjuntos diferentes de como apareceen el diagrama, por eso, al decir, que no todos
los elementos Y de B pertenecen a A, siendo esto una garantia suficiente para que dos
conjuntos cualesquieran puedan ser diferentes.

Es decir : no para todo elemento Yde B se cumple que y tambien pertenezca a A.

Ejemplo 2.

Cuantificador Existencial.

Si tenemos dos conjuntos diferentes A y B, y A es un subconjunto de B:

A⊂B∧A≠B∧A≠∅
Existe al menos un elemento x de B que pertenece a A:
∃x∈B∧x∈A
Al afirmar que existe al menos un x que pertenece a B y pertenece a A, quiere decir que no
todos los elementos de B pertenecen a A, al ser A y B conjuntos distintos, existe al menos un
elemento y de B que no pertenece a A:
∃y∈B∧y∉A
Que podemos leer: existe al menos un elemento y en B, y este elemento y no pertenece a A.

PRESENTACION.
Bibliografías.

https://youtu.be/H1DJrh_NnNc

https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=109&docID=3199701&tm=1529510366591

https://sites.google.com/site/mathematicasdiscretesolutions/logica-de-po/cuantificadores

https://www.definicionabc.com/general/cuantificadores.php

https://prezi.com/p/m6j0dzr7uliy/cuantificadores-en-la-logica-matematica/
 1. Ejercicio 2 Unidad 1: Proposiciones y Tablas De Verdad, Definición de las
proposiciones.

PROPOSICIONES Y TABLAS DE VERDAD.

E) Si Lina consume alimentos balanceados y practica ejercicio regularmente, entonces goza

de buena salud. Si Lina no practica ejercicio regularmente o se dedica a otras actividades, no
gozará de buena salud.

Definir las proposiciones simples del argumento.

p. Lina consume alimentos balanceados

q. práctica ejercicio regularmente entonces goza de buena salud

r. Lina no practica ejercicio regularmente

S. se dedica a otras actividades, no gozará de buena salud

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

(P ^ q)→(r v s)
Tabla de verdad con el simulador Lógica UNAD.

(P ^ q)→(r vs)

p q r s (p∧q)→(r∨s)
v v v v V
v v v f V
v v f v V
v v f f F
v f v v V
v f v f V
v f f v V
v f f f V
f v v v V
f v v f V
f v f v V
f v f f V
f f v v V
f f v f V
f f f v V
f f f f V
Generar una tabla de verdad.

p q r s (p∧q) (r∨s) (p∧q)→(r∨s)

v v v v v v V

v v v f v v V

v v f v v v 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 f 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 f 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 f v

Determinar si el resultado es una tautología, contingencia o contradicción.

El resultado se determina como una Contingencia.

4. Ejercicio 3 Unidad 1:Descripcion Del Ejercicio: E. (� → �) ∧ (� ∨ ¬�)

 E. (� → �) ∧ (� ∨ ¬�)

Juan se matricula en la UNAD entonces estudiara ingeniería y si juan trabaja o

viaja al mismo tiempo no podrá matricularse en la UNAD para el siguiente
semestre.

p. Juan se matricula en la UNAD

q. si juan trabaja o viaja al mismo tiempo
r. entonces estudiara ingeniería

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

Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

 p q r (� → �) (� ∨ ¬�) (� → �) ∧ (� ∨
¬�)

v v v v v v

v v v v v v

v v f f v f

v v f f v f

f f v v f f

f f v v f f

f f f v f f

f f f v f f

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

contingencia.

El argumento seleccionado inicialmente es una contingencia.