PENSAMIENTO LÓGICO Y MATEMÁTICO

UNIDAD 1: TAREA 1 - PROPOSICIONES Y TABLAS DE VERDAD

HEINER ANDRES LOPEZ BOTINA

1090442663

GRUPO 200611_598

TUTOR

DAVID RODRIGO OLIVARES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS

INGENIERIA INDUSTRIAL

CÚCUTA

2019
 INTRODUCCIÓN

En el siguiente trabajo se estudiará la unidad 1- Proposiciones y tablas de verdad, para comprender

el manejo de nuevas herramientas como lo son el uso de lenguaje formal, proposiciones y de tabla
de la verdad (la cual muestra el valor de verdad de una proposición compuesta, para cada
combinación de verdad que se pueda asignar).

De igual manera, se realizarán aportes propios respecto al tema, además se planteará el desarrollo
de problemas de la Lógica Proposicional, y gracias a las actividades propuestas se logrará
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.
 OBJETIVOS

General:

Aprehender esquemas de razonamiento lógico a través del ejercicio de actividades con proposiciones y
tablas de la verdad,

Específicos:

 Interpretar expresiones lógicas sencillas.

 Distinguir los diferentes tipos de razonamiento usados en las ciencias.
 Comprender el uso e importancia de las tablas de la verdad.
 Aplicar de manera adecuada los conceptos aprendidos en problemas de la vida cotidiana.
 Comprender la importancia de la lógica simbólica en el estudio de los fundamentos de las
matemáticas.
Ejercicio 1: Conceptualización de Cuantificadores

Tema correspondiente al literal C elegido: Cuantificador Existencial

Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:

C. Empresas estadounidenses no pueden negociar con empresas chinas o Google es una empresa
estadounidense y Si Huawei es una empresa china entonces no tiene Android de Google.

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

1. Definir las proposiciones simples del argumento:

p: Empresas estadounidenses pueden negociar con empresas chinas

q: Google es una empresa estadounidense

r: Huawei es una empresa china

s: Tiene Android de Google

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

(¬p ∨ q): Empresas estadounidenses no pueden negociar con empresas chinas o Google es una
empresa estadounidense

(r→ ¬s): Si Huawei es una empresa china entonces no tiene Android de Google.

[(¬p ∨ q) ∧ (r→¬s)]: Empresas estadounidenses no pueden negociar con empresas chinas o

Google es una empresa estadounidense y Si Huawei es una empresa china entonces no tiene
Android de Google.

Expresión del argumento en lenguaje simbólico:

[(¬p ∨ q) ∧ (r→¬s)]
3. Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador
Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al recurso)
4. Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar
si el resultado es una tautología, contingencia o contradicción.

p q r s (¬p) (¬s) ((¬p) v q) (r→(¬s)) [(¬p ∨ q) ∧ ( r→¬s)]

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

La tabla de verdad es una Contingencia.

Ejercicio 3: Problemas de aplicación
Descripción del ejercicio:
C. [(𝑝 v 𝑞) ⟷ 𝑟]
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:
p: Andrés aprueba la asignatura pensamiento lógico - matemático
q: Andrés realiza todos los ejercicios del libro
p: Andrés dedica tiempo extra a sus estudios
2. 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 considerará como copia y se tomarán las medidas
correctivas estipuladas por la UNAD.
Expresión en lenguaje natural:
Andrés aprueba la asignatura pensamiento lógico - matemático o Andrés realiza todos los
ejercicios del libro si y sólo si Andrés dedica tiempo extra a sus estudios
3. Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador
Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al recurso)
4. Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

p q r (pvq) [(pvq)↔r]

F F F F V

F F V F F

F V F V F

F V V V V

V F F V F

V F V V V

V V F V F

V V V V V

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

contingencia

El argumento seleccionado inicialmente es una Contingencia.

 CONCLUSIONES

Al terminar este trabajo se puede concluir que:

 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 permite 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, mediante el uso
de lenguaje simbólico o expresiones matemáticas.
 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=319970
1&tm=1529510366591

Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado

de http://hdl.handle.net/10596/13871
.
Fundación Wikimedia, Inc. Representación del conocimiento, Recuperado de:

https://es.wikipedia.org/wiki/Representaci%C3%B3n_del_conocimiento

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

Muñoz Gutiérrez Carlos. Introducción a la lógica. Recuperado de:

https://webs.ucm.es/info/pslogica/cdn.pdf

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