UNIVERSIDAD NACIONAL A DISTANCIA UNAD

Escuela CCAV CARTAGENA

 
 

 
 
 
FELBER ANTONIO BECERRA SARRIA
N° Grupo:  200611_739
 
 

 
 
 
UNIDAD 1: EJERCICIO 1,2 y 3- PROPOSICIÓN Y TABLAS DE VERDAD
 

Docente Tutor UNAD

RANDY ZABALETA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA DE COLOMBIA

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA (ECBTI)
CCAV CARTAGENA
INGENIERÍA INDUSTRIAL
CARTAGENA
2018
 INTRODUCCIÓN

En el presente trabajo se busca afianzar los conceptos y generalidades de la definición de

cuantificador universal y comprender la lógica proposicional, definir las proposiciones simples y
compuestas de acuerdo al argumento simbólico, lograr definir las expresiones del argumento en
lenguaje simbólico o formal, generar la tabla de verdad con el simulador Truth Table a partir del
leguaje simbólico y generar la tabla de verdad manualmente.

Se aborda todos los temas asignados en la guía y se responden con la ayuda del material
consignado en ella y las consultas en diferentes páginas de internet.
 OBJETIVO ESPECÍFICOS

 Lograr afianzar y entender que una oración enunciativa, es decir, que afirma o niega algo
y que por lo tanto, puede ser verdadera o falsa es una proposición y serán representada
por las Variables Proposicionales o Letras Enunciativas.
 Definir si una fórmula bien formada puede ser una proposición simple o compuesta.
 Afianzar y reconocer los conectivos lógicos.
 Lograr realizar la tabla de verdad manualmente y la tabla truth
 EJERCICIO UNO
Definición de cuantificador universal, simboliza así: ∀ (para todos), es empleado con la misión
de establecer que todos los elementos de un conjunto cumplen con una propiedad dada, 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.

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.

Ejemplo-3;

Ejemplo: Cada número positivo es mayor que cero 1 es un número positivo 3 es un número
positivo. Por lo tanto, 1 y 3 son mayores que cero.

Se define:

Px ↔ x es un número positivo

Demostrar 1>0 & 3>0 si ..

 EJERCICIO DOS

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

 Definir las proposiciones simples del argumento.

Voy de vacaciones a San Bernardo del Viento o Voy a Capurgana o viajo a Amazonas.

Las proposiciones simples, son:

p= Voy de vacaciones a San Bernardo del Viento

q= Voy de vacaciones a Capurgana
r= Voy de vacaciones a Amazonas.

 Definición del argumento en lenguaje simbólico o formal.

Lenguaje simbólico o formal::: (pvq)v(r)

 Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje
simbólico.
Generación de la tabla de verdad manualmente a partir del lenguaje simbólico: (pvq)v(r)

P Q R PvQ PvQvR
v v v v v
v v f v v
v f v v v
v f f v v
f v v v v
f v f v v
f f v f v
f f f f f

EJERCICIO TRES

1. 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

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

Si Oscar práctica futbol en la escuela Boca Junior entonces Ana estudia Derecho en la
Universidad UNAD y si Daniela práctica atletismo los días martes entonces Oscar también va a
clase los días martes por lo tanto si Oscar practica futbol los días jueves entonces Ana practica
futbol los días lunes.

p- Oscar practica futbol en la escuela Boca Junior

q- Ana estudia Derecho en la Universidad UNAD
r- Daniela practica atletismo los días martes

C. Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico.
 D. Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

{(𝑝⟶𝑞)∧(𝑟⟶p)}⟶( 𝑝⟶𝑞)
p q r (p→q) (r→p) {(p→q^r→p)} {(𝑝⟶𝑞)∧(𝑟⟶p)}⟶( 𝑝⟶𝑞)
v v v v v v v
v v f v v v v
v f v f v f v
f f f v v v v
f v v v f f v
f v f v v v v
v f v f v f v
v f f f v f v

El argumento seleccionado inicialmente es una tautología.

 CONCLUSIONES

La lógica proposicional es una de las piezas fundamentales de la Inteligencia Artificial, ya que

para realizar los cambios necesarios para la evolución de esta ciencia, se precisa de un lenguaje
formal para representar los hechos que se reciben del mundo real y el uso de las proposiciones.
El utilizar proposiciones es una señal que encaja en forma perfecta en este ámbito. Es un modo
sencillo y práctico de resolver un problema, considerando que se puede resolver disgregando el
problema en proposiciones u oraciones sencillas que permiten analizar los hechos y tomar
decisiones, es decir, crear nuevas proposiciones u oraciones sencillas o compuestas que se
incorporan a la base de conocimiento, permitiendo el incremento y mejora de esta.

Este trabajo nos ha permitido profundizar los conocimientos del uso de la lógica para la
resolución de problemas o la representación de la realidad a nivel de proposiciones

REFERENCIAS BIBLIOGRÁFICAS
1. Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp.
9-28). Ediciones Elizcom, Madrid.

2. Bruno, L. T. (2011). Cuantificadores universales.

3. 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 

4. Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp.

9-28). Ediciones Elizcom, Madrid

5. Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp.

106-112). Ediciones Elizcom, Madrid.

6. Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones

Castaño, G. (2017). Proposiciones y tablas de verdad,