Paso 2 - Proposiciones y Tablas de Verdad - Entrega de la actividad

Dayana alexi Pedroza Riaño (1007000657)

11 de marzo del 2018
Unad
Palmira
Pensamiento lógico matemático
 Introducción

Un razonamiento lógico, en definitiva, es un proceso mental que implica la aplicación de la

lógica. A partir de esta clase de razonamiento, se puede partir de una o varias premisas para
arribar a una conclusión que puede determinarse como verdadera, falsa o posible.
En el siguiente trabajo se observan una serie de conceptos y temáticas que se desarrollan a lo
largo del curso pensamiento lógico y matemático, ya que se aplica el lenguaje natural y
simbólico, la identificación de las premisas simples y la elaboración de tablas de verdad.
 Objetivos

Objetivo General

 Aprender los conceptos y temas adquiridos en la unidad 1

Objetivos Específicos
 Utilizar las formas básicas de las tablas de verdad
 Analizar y plantear una solución a la situación problemática sugerida en la guía
 Demostrar validez o no validez de situaciones problemáticas por medio de los principios
de lógica
Tarea 1: Proposiciones
E.
p: en la UNAD hay 5 periodos académicos anualmente (V)
q: La UNAD tiene 3 periodos de 8 semanas cada uno (F)

(𝑝∧¬𝑞) →(¬ 𝑝)

Proporción compuesta en leguaje natural:

En la unad hay 5 periodos académicos anualmente y la unad no tiene 3 periodos de 8 semanas

cada uno. Entonces en la unad no hay 5 periodos académicos anualmente.

Determinación de valor de verdad:

P: V q: F

(𝑝∧¬𝑞) →(¬ 𝑝)

( v ^ v) → (f)

V→f

f
Tarea 2: Tablas de verdad

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

Lenguaje simbólico o formal:

P: Tengo una moto

r: No tengo licencia
q: los policías me paran
s: me harán una multa

(P ^ ¬ r) ^ q → s

Tabla de verdad simulador Truth Table:

La otra manera de utilizar las tablas de la verdad es analizando que las premisas sean
verdaderas y la conclusión sea falsa. En este caso el razonamiento no es valido

Tabla de la verdad manual:

(P ^ ¬ r) ^ q → s
P ^ ¬r ^ q → s

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

V F F F F V V
V F F F F V F
V V V V V V V
V V V V V F F
V V V F F V V
V V V F F V F
F F F F V V V
F F F F V V F
F F F F F V V
F F F F F V F
F F V F V V V
F F V F V V F
F F V F F V V
F F V F F V F
R/ Respuesta en azul
Tarea 3: Problemas de aplicación

C: [(𝑝⟶𝑞)∧(𝑟∨𝑠)∧(𝑟⟶𝑡)∧(∼𝑞)∧(𝑢⟶𝑡)∧(𝑠⟶𝑝)]⟶𝑡

Tabla de la verdad manual:

R/ La tabla nos permite evidenciar que es una tautología, por lo cual el razonamiento es válido.
Tabla de verdad simulador Truth Table:
Planteamiento del problema:

Los bebes tienen 3 ojos entonces el canguro tiene 8 patas y los gatos tienen 4 patas entonces los
libros de usan para leer y el canguro no tiene 8 patas y la tierra gira alrededor del sol entonces los
libros de usan para leer y algunos caballos usan herraduras entonces los bebes tienen 3 ojos,
entonces los libros se usan para leer.

P: Los bebes tienen 3 ojos. (f)

Q: El canguro tiene 8 patas. (f)
R: Los gatos tienen 4 patas. (v)
S: Algunos caballos usan herraduras. (v)
T: Los libros se usan para leer. (v)
U: La tierra gira alrededor del sol. (v)
 Conclusión

Aprendimos conocimientos de las formas básicas de las tablas de verdad, los principios
de lógica y los razonamientos lógicos para demostrar la validez o no validez de las
situaciones propuestas.
 Bibliografía

 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=110135
70&ppg=30
 Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de
proposiciones. Recuperado de http://hdl.handle.net/10596/7961
 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&d
ocID=11046000&tm=1489704594878