PENSAMIENTO LOGICO MATEMATICO

PASO 2

RAFAEL RICARDO CRISSIEN CONTRERAS

UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS ADMINISTRATIVAS, CONTABLES, ECONOMICAS Y DE
NEGOCIOS
ECONOMIA
ARAUCA – ARAUCA
2018
 INTRODUCCION

En el siguiente trabajo encontraremos el desarrollo de las actividades propuestas para el

desarrollo de la unidad 1, paso 2, en el cual iniciaremos el manejo e interpretación de la
expresiones del lenguaje simbólico y lenguaje natural en la formulación y representación del
pensamiento lógico, elaboración de Tablas manuales, el comienzo del uso del simulador
THRUTH en la elaboración de las Tablas de verdad así como las respectivas comprobaciones de
las tablas elaboradas a partir de los ejercicios presentados en cada tarea.
 OBJETIVOS

 Reconocer las características y estructura de las Proposiciones lógicas teniendo en cuenta

su Clasificación, manejo y diferenciación de proposiciones simples y compuestas.
 Manejar el lenguaje proposicional teniendo en cuenta el significado de cada lenguaje
utilizado, tanto el lenguaje Natural como el lenguaje Simbólico y afianzar las aptitudes
para traducir del lenguaje natural al simbólico y viceversa.
 Aprender a elaborar y desarrollar Tablas de verdad manuales y mediante el uso del
simulador THRUTH teniendo en cuenta pasos importantes como el reconocimiento de
variables, la realización de la traducción lógica, las cantidades de combinación de valores
de verdad y la asignación de valores de verdad a variables proposicionales, entre otros.
 Identificar y aplicar el significado de la lógica proposicional, tablas de verdad, algebra de
proposiciones, tautologías y contraindicaciones y contingencias.
DESARROLLO DE TAREA 1

C. p: Falcao García fue el mejor jugador de Colombia en la copa mundial de Brasil 2014
q: Colombia llegó a la semifinal de la copa mundial de Brasil 2014

¬(𝒑⋀𝒒)↔(¬𝒑∨𝒒)

PROPOSICION COMPUESTA EN LENGUAJE NATURAL:

Falcao García No fue el mejor jugador de Colombia en la copa mundial de Brasil 2014 y
Colombia No llegó a la semifinal de la copa mundial de Brasil 2014. Si y solo Si Falcao García
No fue el mejor jugador de la selección Colombia en la copa mundial de Brasil 2014 o Colombia
llegó a la semifinal de la copa mundial Brasil 2014.

DETERMINACION DEL VALOR DE VERDAD:

p: F q: F

¬ (p⋀q) ↔ (¬𝒑∨𝒒)
(V⋀ V) ↔ (V v F)
V↔V
V
DESARROLLO DE TAREA 2

C. Si tengo una moto y no tengo licencia; y los policías me paran entonces me harán una multa

Expresión en Lenguaje simbólico o Formal:

p: si tengo una moto
q: no tengo licencia
r: los policías me paran
s: me harán una multa

(p ^ ¬q) ^ (r→s)
(V ^ F) ^ (V → V)
F ^ V
F
TABLA MANUAL DE VERDAD: 2n n=4 entonces sería igual a 16
p q r s (p ^ ¬q) (r→s) (p ^ ¬q) ^ (r→s)
V V V V F V F
V V V F F F F
V V F V F V F
V V F F F V F
V F V V V V V
V F V F V F F
V F F V V V V
V F F F V V V
F V V V F V F
F V V F F F F
F V F V F V F
F V F F F V F
F F V V F V F
F F V F F F F
F F F V F V F
F F F F F V F
TABLA CON GENERADOR THUTH:

TABLA MANUAL Vs
TABLA GENERADOR THRUTH

DESARROLLO DE LA TAREA 3

A. [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)

Si estudio en la UNAD seré un gran profesional y si no estudio en la UNAD tendré más trabajo
duro, así como tendré más trabajo duro entonces no tendré éxito, por tanto no seré un gran
profesional de ahí que no tendré éxito.
p: estudio en la UNAD
q: seré un gran profesional
r: tendré más trabajo duro
s: no tendré éxito
 [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)

[(V⟶V)∧(F⟶V)∧(V⟶V)]⟶(F⟶V)
[ V ∧ V ∧ V]⟶ V
V ⟶ V
V

TABLA MANUAL DE VERDAD:

2n en donde n representa la cantidad de proposiciones simples n=4 entonces sería igual a 16

p q r s (p→q) (¬p→r) (r→s) (¬q→s) [(p→q)^ (¬p→r)^ (r→s)]→(¬q→s)

V V V V V V V V V
V V V F V V F V V
V V F V V F V V V
V V F F V F V V V
V F V V F V V V V
V F V F F V F F V
V F F V F F V V V
V F F F F F V F V
F V V V V V V V V
F V V F V V F V V
F V F V V F V V V
F V F F V F V V V
F F V V V V V V V
F F V F V V F F V
F F F V V F V V V
F F F F V F V F V
 Truth Table
  p     q     r     s    [(p→q)Λ(¬p→r)Λ(r→s)]→(¬q→s) 

  T     T     T     T   T

T T T F T
T T F T T
T T F F T
T F T T T
T F T F T
T F F T T
T F F F T
F T T T T
F T T F T
F T F T T
F T F F T
F F T T T
F F T F T
F F F T T
F F F F T

Expression is a tautology

En este caso de la TAREA 3 podemos deducir que la expresión dada es una tautología porque es
verdadera para todos los posibles valores de verdad de sus componentes simples.
 CONCLUSIONES

Con el desarrollo de las actividades propuestas en el desarrollo del paso de podemos concluir que
he aprendido a reconocer los tipos de proposiciones en la lógica proposicional, así como los
diferentes tipos de conectores lógicos que se utilizan para resolver problemas lógicos planteados
mediante proposiciones. También iniciamos con la metodología en el uso y aplicación de las
Tablas de Verdad y el uso del Simulador THUTH para comparar los resultados de las tablas de
verdad que realizamos manualmente.
 REFERENCIAS BIBLIOGRAFICAS

 Villalpando, B. J. F. (2000). "Fundamentos de la Lógica Matemática y Cálculo

Proposicional". En ProQuest (Ed). Matemáticas discretas: aplicaciones y ejercicios de
aplicación. (pp. 19 - 29). Guadalajara, México: Larousse - Grupo Editorial Patria.
Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=11013570&ppg=30

 Chávez, C. P. (2000). "Lógica Simbólica". En ProQuest (Ed). Compendio de lógica. (pp.

151- 162). Guadalajara, México: Larousse - Grupo Editorial Patria. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=166&docID=11046000&tm=1489704594878

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

Recuperado de:
http://hdl.handle.net/10596/7961

 YouTube (2012) Tu Profe en Línea [Archivo de video] Recuperado de :

https://www.youtube.com/watch?v=SUykzb4RXkA&t=1460s