UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO

TAREA 1 – UNIDAD 1 PROPOSICIONES Y TABLAS DE VERDAD

POR:
YIZETH MOLINA RODRIGUEZ
NÚMERO DE GRUPO: 200611_1214

TUTOR: YENNY MARISOL CAYACHOA

CIENCIAS SOCIALES ARTES Y HUMANIDADES

PSICOLOGIA
TUNJA
SEPTIEMBRE 2018
 Introducción

Este trabajo se realiza con la finalidad de obtener conocimiento y estudiar más a fondo sobre las
temáticas expuestas como proposiciones, tablas de verdad en la comprensión de las definiciones
de la lógica formal; uso de conectores lógicos y las leyes de las proposiciones, las cuales nos
darán las bases para fortalecer nuestro conocimiento.
 Objetivos

Fortalecer conocimiento en el desarrollo de tablas de verdad para múltiples variables

Resolver operaciones con variables lógicas
Determinar el valor de verdad de una proposición
Identificar que expresiones son proposiciones
Diferenciar las proposiciones simples de la proposiciones compuestas
 Tarea 1 Proposiciones y Tablas de Verdad

Ejercicio 1: Conceptualización de Cuantificadores

B. Cuantificador Universal

El cuantificador universal indica que algo es cierto para todos los individuos Sea A

una expresión y sea x una variable. Si deseamos indicar que A es verdadero para

todos los posibles valores de x, escribiremos (∀x) A.

• (∀x) es cuantificador universal

• A es el ámbito (alcance) del cuantificador.

• El símbolo ∀ se lee “para todo”.

Ejemplo 1:

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

Ejemplo 2:

“x protege el circuito de luces”. Para cada x, x protege el circuito de luces.

 Solución: En este caso utiliza “x” para afirmar que cada elemento del universo tiene

una cierta propiedad

Wx ↔ x protege el circuito de luces

(∀x) Wx

NOTA: No existe límite en el número de veces que pueden aplicarse especificaciones

a la misma proposición universal.

Ejercicio 2: Proposiciones y Tablas de verdad

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.

 Voy de vacaciones a San Bernardo del Viento (p)

 Voy a Capurgana (q)
 viajo a Amazonas (r)
• [(p v q) v r]

Ejercicio 3: Problemas de aplicación

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento) para el

desarrollo del ejercicio 3:

B. {(𝑝⟶𝑞)∧(𝑟⟶p)}⟶( 𝑝⟶𝑞)
p: Si llevo el automóvil para el viaje
q: compartiremos en familia
r: economizo dinero
Si llevo el automóvil para el viaje entonces compartiremos en familia. Si economizo dinero
entonces llevo el automóvil para el viaje. Por lo tanto si llevo el automóvil para el viaje
compartiremos en familia.

Tabla de verdad truth

La expresión anterior es una tautología

Conclusión

p q r (p → q) (r → p) {(p → q)^ (r → p)} {(p → q)^ (r → p)}→(p → q)

V V V V V V V
V V F V V V V
V F V F V F V
V F F F V F V
F V V V F F V
F V F V V V V
F F V V F F V
F F F V V V V
Podemos concluir que con la realización de los diferentes ejercicios podemos utilizar estrategias
basadas en problemas y darle solución por medio de herramientas útiles para nuestro diario vivir.

Referencias Bibliográficas
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=3226457&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=3199701&tm=1529335849013

Cuantificadores
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
Tablas de verdad
Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones, [Vídeo].
Recuperado de http://hdl.handle.net/10596/7961
.