Pensamiento lógico y matemático

Tema
Proposiciones y Tablas de verdad

Tutor

Julián Darío Giraldo

Estudiante

Oscar Alejandro León Sánchez

Programa

Psicologia

928

Numero de grupo

Universidad nacional abierta y a distancia

Sede

La dorada
 Introducción

Mediante el presente trabajo se podrá visualizar como se realiza una tabla de

verdad o de valores, donde se mostrara el valor verdadero de una proposición
compuesta, por cada combinación de verdad que sea asignada por medio de
ejercicios
 Objetivos

Se buscara la forma y el conocimiento para poder realizar bien una tabla de

verdad, y de buscar el valor real de las preposiciones por medio de este trabajo
también se busca por medio de la experiencia y ejercicios poner en práctica lo
aprendido pasando una palabra o una preposición a lenguaje simbólico.
Ejercicio 1

Cuantificadores en la lógica matemática

En la lógica matemática, los cuantificadores son símbolos, palabras o frase

utilizados para señalar cuantos o que tipo de elementos en un conjunto
determinado cumplen con cierta propiedad.

ejemplo, pertenecía equivalencia u orden

Los cuantificadores de clasifican como:

CUANIFICADORES EXISTENCIALES algunos (o existe o hay)

Ej Hay árboles

algunos números,

algunos árboles son maderables, todos los árboles son maderables

CUANTIFICADORES UNIVERSALES todo (o siempre o cada)

EJ todos son árboles

siempre son números

todos los árboles son maderables

Ejercicio 2: Proposiciones y Tablas de verdad

A. Si la Selección Colombia va al mundial y James juega los

partidos, entonces la Selección Colombia será finalista del
Mundial de Rusia.
 Proposiciones simples:
𝑠𝑖 𝑙𝑎 𝑠𝑒𝑙𝑒𝑐𝑖𝑖𝑜𝑛 𝑐𝑜𝑙𝑜𝑚𝑏𝑖𝑎 𝑣𝑎 𝑎𝑙 𝑚𝑢𝑛𝑑𝑖𝑎𝑙
𝑗𝑎𝑚𝑒𝑠 𝑗𝑢𝑒𝑔𝑎 𝑙𝑜𝑠 𝑝𝑎𝑟𝑡𝑖𝑑𝑜𝑠
𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑐𝑜𝑙𝑜𝑚𝑏𝑖𝑎 𝑠𝑒𝑟𝑎 𝑓𝑖𝑛𝑎𝑙𝑖𝑠𝑡𝑎 𝑑𝑒𝑙 𝑚𝑢𝑛𝑑𝑖𝑎𝑙

𝑝 = 𝑠𝑖 𝑙𝑎 𝑠𝑒𝑙𝑒𝑐𝑖𝑖𝑜𝑛 𝑐𝑜𝑙𝑜𝑚𝑏𝑖𝑎 𝑣𝑎 𝑎𝑙 𝑚𝑢𝑛𝑑𝑖𝑎𝑙

𝑞 = 𝑗𝑎𝑚𝑒𝑠 𝑗𝑢𝑒𝑔𝑎 𝑙𝑜𝑠 𝑝𝑎𝑟𝑡𝑖𝑑𝑜𝑠
𝑟 = 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑐𝑜𝑙𝑜𝑚𝑏𝑖𝑎 𝑠𝑒𝑟𝑎 𝑓𝑖𝑛𝑎𝑙𝑖𝑠𝑡𝑎 𝑑𝑒𝑙 𝑚𝑢𝑛𝑑𝑖𝑎𝑙

 Lenguaje formal

(𝑝 ∧ 𝑞 ) ⟹ 𝑟

 Table de verdad
 2𝑛 𝑑𝑜𝑛𝑑𝑒 𝑛 = 𝑛ú𝑚𝑒𝑟𝑜 𝑑𝑒 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 𝑠𝑖𝑚𝑝𝑙𝑒𝑠
23 = 2 ∗ 2 ∗ 2 = 8

P Q R (p∧q ) (p∧q )⟹r

1 v v v V V
2 v v f V V
3 v f v F F
4 v f f F V
5 f v v V V
6 f v f V V
7 f f v V V
8 f f f V V
CONTINGENCIA
CONTINGENCIA

TERCER EJERCICO

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

si estoy concentrado entonces puedo entender los conocimientos que

me brinda la universidad, cuando no me concentro entonces perderé el
parcial entonces si gano el parcial, estaré concentrado
Preposiciones

Estoy concentrado

Puedo entender los conocimientos que me brinda la universidad

Perderé el parcial
Lenguaje simbólico

P= Estoy concentrado

Q= Puedo entender los conocimientos que me brinda la universidad

R= Perderé el parcial

[(p=>q)˄ (
¬p→r)](¬r→p)

p
r
2˄n pq →q ¬p→r [(p→q˄(˜p→r)] [(p→q)˄(¬r→q)]→(¬r→p
n=#
v v v v f v
=preposiciones 1 v
2˄=3 2 v v f v v v v
2x2x2=8 3 v f v f f f v
4 v f f f v f v
5 f v v v f v v
6 f v f v f f v
7 f f v v f v v
8 f f f v f v v

Simulador
Expresión tautológica
 Conclusiones

Luego de culminar este trabajo puedo concluir que la tabla de la verdad

muestra fundamentalmente es un dispositivo para evidenciar ciertas
propiedades semánticas y lógicas en un lenguaje natural o lenguajes de cálculo
de proposición.