PENSAMIENTO LÓGICO MATEMÁTICO

TAREA 1 - PROPOSICIONES Y TABLAS DE VERDAD

HERNÁN ENRIQUE ZAPA GONZALEZ

CÓDIGO: 10667457703

TUTOR

ROGER RICARDO NEGRETE

GRUPO

200611_775

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

 INTRODUCCIÓN.

El pensamiento lógico matemático está relacionado con la habilidad de

trabajar y pensar en términos de números y la capacidad de emplear el
razonamiento lógico. Es fundamental para comprender conceptos
abstractos y comprensión e relaciones, todas estas habilidades van mucho
más allá de las matemáticas entendidas como tal, los beneficios de este
tipo de pensamiento contribuyen a un desarrollo sano en muchos aspectos
y consecución de las metas y logros personales y con ello el éxito
personal.
El presente trabajo tiene como finalidad que los estudiantes del curso de
pensamiento lógico matemático adquieran conocimientos sobre los temas
de proposiciones y tablas de verdad, en ella dan a conocer los valores de
una proposición compuesta, los cuales depende de los conectivos
utilizados.
Objetivos.
 Identificar las clases de proposiciones que se puede encontrar en
un enunciado.
 Proporcionar herramientas que permiten elaborar y determinar la
validez de una proposición.
 Analizar los valores de verdad para saber si es un razonamiento.
 Analizar e interpretar proposiciones para simbolizarlas.
 Realizar enunciados para la elaboración de las tablas de verdad.
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:

B. Cuantificador Universal.
Cuantificadores.
Los cuantificadores son símbolos utilizados para indicar cuántos o qué tipo
de elementos de un conjunto dado cumplen con cierta propiedad (por
ejemplo, pertenencia, equivalencia u orden). Existen muchos tipos de
cuantificadores, entre los más utilizados está:
Cuantificador Universal:
En lógica, se usa el símbolo ∀, denominado cuantificador
universal, antepuesto a una variable para decir que "para todo" elemento
de un cierto conjunto se cumple la proposición dada a continuación. En
texto se puede representar con el carácter ∀.
Normalmente, en lógica, el conjunto al que se refiere es el universo o
dominio de referencia, en el cual aparecen todas las constantes.
Ejemplo:
Si tenemos dos conjuntos diferentes A y B, y A es un subconjunto de B:

A⊂B∧A≠B∧A≠∅

Todo elemento x de A pertenece a B:

∀x∈A⇒x∈B

Al ser A y B conjuntos diferentes como indica el diagrama, podemos

decir que no todos los elementos y de B pertenecen a A, siendo esto
una garantía suficiente para que dos conjuntos cuales quiera puedan ser
diferentes:
 ¬∀y∈B:y∈A

Es decir: no para todo elemento y de B se cumple que y también

pertenezca a A.

Ejemplo 2.- Expresar “todos los gatos tienen cola” en cálculo de

predicados.
Solución:
Hallar primero el ámbito del cuantificador universal, que es “Si x es un
gato, entonces x tiene cola” y se define como
Gx ↔ x es un gato
Cx ↔ x tiene cola ∴
(∀x) Gx → Cx

Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:

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

B. Voy de vacaciones a San Bernardo del Viento o Voy a Capurgana o

viajo a Amazonas

A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:
 Definir las proposiciones simples del argumento.
 p: Voy de vacaciones a San Bernardo del Viento
q: Voy a Capurgana
r: viajo a Amazonas
 Definir la expresión del argumento en lenguaje simbólico o formal.
Voy de vacaciones a San Bernardo del Viento o Voy a Capurgana o viajo a Amazonas.

p v q v r

 Generar una tabla de verdad con el simulador Truth Table a partir

del lenguaje simbólico (El estudiante encontrará la Guía para el uso
de recursos educativos Simulador TRUTH, en el Entorno de
Aprendizaje Práctico, así como el link de acceso al recurso)

Truth table:

 Generar una tabla de verdad manualmente a partir del lenguaje

simbólico.

p q r pvqvr

V V V V

V V F V
 V F V V

V F F V

F V V V

F V F V

F F V V

F F F F

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:

B. {(𝑝⟶𝑞)∧(𝑟⟶p)}⟶( 𝑝⟶𝑞)

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, ejemplo:

p: Carlos estudia en la UNAD.

q: La UNAD es una Universidad Pública

 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 considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.
p: José estudia en la Unad
q: José estudia física
r: José es de Boyacá

{(𝑝⟶𝑞) ∧ (𝑟⟶p)}⟶( 𝑝⟶𝑞)

José estudia en la Unad entonces José estudia física y José vive en

Boyacá entonces José estudia en la Unad entonces José estudia en la
Unad entonces José estudia física.

 Generar una tabla de verdad con el simulador Truth Table a partir

del lenguaje simbólico (El estudiante encontrará la Guía para el uso
de recursos educativos Simulador TRUTH, 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 p⟶q r⟶p {(𝑝⟶𝑞) ∧ (𝑟⟶p)} p⟶q {(𝑝⟶𝑞) ∧ (𝑟⟶p)}⟶( 𝑝⟶𝑞)

V V V V V V V V

V V F V V V V V

V F V F V F F V

V F F F V F F V

F V V V F F V V

F V F V V V V V

F F V V F F V V

F F F V V V V V

 Definir si el argumento seleccionado inicialmente es una tautología,

contradicción o contingencia

El argumento {(𝑝⟶𝑞) ∧ (𝑟⟶p)}⟶( 𝑝⟶𝑞) es una tautología, ya que la

conclusión es verdadera .
 Conclusión.
Se puede concluir que el presente trabajo se logra comprender 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. Se realizarán aportes
propios de proposiciones respecto al aprendizaje basado. Se logra
identificar y comprender los elementos esenciales en la lógica
proposicional y la forma de aplicarlos para resolver problemas cotidianos
por medio de tablas de verdad.
 Referencias Bibliográficas.

 Cuantificadores-Soluciones Matemática discretas, consultado

15 de septiembre 2018, y disponible en
https://sites.google.com/site/mathematicasdiscretesolutions
/logica-de-po/cuantificadores
 Gonzáles Francisco, Abril del 2005,Apuntes de lógica
matemáticas, disponible en:
https://docs.google.com/viewer?a=v&pid=sites&srcid=ZGV
mYXVsdGRvbWFpbnxtYXRoZW1hdGljYXNkaXNjcmV0ZXNvbH
V0aW9uc3xneo2ZDhiNTE1ODc2OTQyYzBh
 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.