Está en la página 1de 9

PENSAMIENTO LOGICO MATEMATICO

Unidad 2 - Paso 2 - Uso de las tablas de verdad

GUSTAVO ADOLFO VERA HERNANDEZ

C.C. N. 1.105.672.632

CURSO 200611_826

Tutor:

LEONARDO FABIO GARCIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


UNAD

MARZO 2018
INTRODUCCION:

Esta actividad nos permite, tener un amplio conocimiento sobre todo lo


relacionado con las preposiciones, conjunciones, variables para así poder
manejar, practicar y entender cómo realizar las tablas de la verdad, y así
poder dar cumplimiento a las actividades planteadas.
Para esto debemos leer completa y minuciosamente las lecturas asignadas
para el desarrollo de la actividad, ya que son de mucha importancia para
entender a la perfección este tema.
En el desarrollo de este trabajo de podrán identificar la conceptuación, análisis
y argumentación de forma adecuada de los procedimientos desde la lógica
proposicional, utilizados para demostrar la veracidad y validez de situaciones
específicas del mundo real

OBJETIVO GENERAL:

Manejar y fortalecer los conceptos adquiridos en esta unidad de lógica


matemática

OBJETIVOS ESPECIFICOS:

 Aprender a realizar tablas de la verdad y lenguaje simbólico

 Aplicar las diferentes variables en las actividades

 Aprender y diferenciar cunado es una oración simple o compuesta, y asi


aplicar las diferentes conjunciones que sean necesarias.

 Demostrar la validez o no validez de situaciones problemáticas por


medio de los principios de lógica.
Cordial saludo, tutor y compañeros
Comparto mi tabla 1"plan de acción", correspondiente al desarrollo de la
unidad 1, paso 2, (Proposiciones y tablas de verdad), y de igual forma la mi
respuesta parcial de las actividades que seleccione: 

Tarea 1: Proposiciones 
Transcribir en el lenguaje natural la expresión formal que se relaciona y
determinar el valor de verdad de la proposición compuesta, a partir del valor
de verdad de cada proposición simple:

EJERCICIO SELECCIONADO: 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

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

Proposición compuesta en lenguaje Natural:


Falcao no fue el mejor jugador de Colombia en la copa
mundial 2014, y Colombia no llego a la semifinal; si y solo si
Falcao no fue el mejor jugadoe de Colombia, o Colombia
llego a la semifinal de la copa mundial 2014

Determinación del valor de verdad:


P: f
Q: f
¬ (𝒑 me harán una multa

𝒒) ↔ (¬P ∨ Q)
(V ∧ V) ↔ (V ∨ F)
V↔V
V

Tarea 2: Tablas de verdad:


EJERCICIO SELECCIONADO:

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


harán una multa

P. tengo moto
Q. tengo licencia
R. los policías me paran

S. Me harán una multa

Expresión en lenguaje simbólico o formal:


[(P ⋀ ¬Q) ⋀ R ] →S

Generar la tabla e verdad manualmente y a través del simulador Truth


Table.
TABLA MANUAL:
P q r s ̴
q (P^ ̴
q) ( P ^ ̴q ) ^ r ( P ^ ̴q ) ^ r → s
V V V V F F F V
V V V F F F F V
V V F V F F F V
V V F F F F F V
V F V V V V V V
V F V F V V V F
V F F V V V F V
V F F F V V F V
F V V V F F F V
F V V F F F F V
F V F V F F F V
F V F F F F F V
F F V V V F F V
F F V F V F F V
F F F V V F F V
F F F F V F F V

TABLA GENERADA CON EL SIMULADOR TRUTH TABLE 


Truth Table
  p     q     r     s     [(pΛ ¬ q)Λr]→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 F
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

Comprobar el resultado de la tabla de verdad manual versus simulador


Truth Table.
Podemos observar que el resultado es el mismo en las 16 variables posibles,
ya que tenemos 4 proposiciones, esto nos da un total de 16 combinaciones,
tanto en la tabla manual como en el simulador truth table, contempla todas las
posibles opciones existentes. 

Tarea 3: Problemas de aplicación  

EJERCICIO SELECCIONADO:

B. {(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡]∧(𝑝∧𝑟)}⟶𝑡
 Definición de las proposiciones simples

P: Si voy a viajar
Q: me toca coger transporte
R. si está lloviendo
S. me demorare más tiempo
T. tengo que madrugar

 Lenguaje natural de la expresión formal:

Si voy a viajar fuera de Bogotá, entonces me toca coger transporte, y si está


lloviendo entonces me demorare más tiempo, y si me toca coger transporte y
me demoro más tiempo entonces tengo que madrugar mucho más, y si voy a
viajar y si está lloviendo entonces tengo que madrugar más.

 Generar la tabla de verdad manualmente y a través del simulador


Truth Table.

TABLA MANUAL:
{(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡] {(𝑝⟶𝑞)∧(
(p→ ∧(𝑝∧𝑟)} 𝑟⟶𝑠)∧[(𝑞
(p (q q)∧( ∧𝑠)⟶𝑡]∧(
→q → q→r 𝑝∧𝑟)}⟶𝑡
¬ ¬ ¬ ¬ ) r) )
P Q R S T r s t p
V V V V V F F F F V V V V V
V V V V F F F V F V V V F V

v V V F V F V F F V V V F V
v V V F F F V V F V V V F V
v V F V V V F F F V F F F V

v V F V F V F V F V F F F V
v V F F V V V F F V F F F V
v V F F F V V V F V F F F V
v F V V V F F F F F V F F V
v F V V F F F V F F V F F V
v F V F V F V F F F V F F V
v F V F F F V V F F V F F V
v F F V V V F F F F V F F V
v F F V F V F V F F V F F V
v F F F V V V F F F V F F V
v F F F F V V V F F V F F V
f V V V V F F F V V V V F V
f V V V F F F V V V V V F V
f V V F V F V F V V V V F V
f V V F F F V V V V V V F V
f V F V V V F F V V F F F V
f V F V F V F V V V F F F V
f V F F V V V F V V F F F V
f V F F F V V V V V F F F V
f F V V V F F F V V V V F V
f F V V F F F V V V V V F V
f F V F V F V F V V V V F V
f F V F F F V V V V V V F V
f F F V V V F F V V V V F V
f F F V F V F V V V V V F V
f F F F V V V F V V V V F V
f F F F F V V V V V V V F v
Truth Table
 [(p→q)Λ(q→r)Λ(sV¬ r)Λ(¬ sVt)Λ(¬ t)]→¬
  p     q     r     s     t  

  T     T     T     T     T   T


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

Expresión es una tautología

Comprobar el resultado de la tabla de verdad manual versus simulador


Truth Table.

Podemos observar que en la tabla hecha manualmente Y mediante el


simulador, observamos que todos los resultados dieron verdaderos

Definir si el argumento es una Tautología, contradicción o


contingencia 
Considero que la expresión es una tautología, ya que una Tautología puesto
que se evidencia la repetición de un mismo pensamiento atravez de distintas
expresiones. Y da como resultado esta expresión lógica siempre verdadera, en
todos los posibles valores.

También podría gustarte