PENSAMIENTO LOGICO MATEMATICO.

UNIDAD TAREA 1 MÉTODOS PARA PROBAR LA VALIDEZ DE

ARGUMENTOS.

AUTOR: LIZETH JOHANNA CAÑON RIVERA.

TUTOR: NEVARDO ALONSO AYALA.

CONTADURIA PÚBLICA.

GRUPO: 200611_2188| PENSAMIENTO LOGICO Y MATEMATICO|.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA.

(UNAD).

2021
 1

INTRODUCCION.

En esta unidad se realiza las leyes de inferencia y razonamiento deductivo e inductivo

como también se da el apoyo para de la herramienta el simulador para realizar tablas
de verdad.

OBJETIVO.

Con esta actividad obtenemos la importancia de lograr la validez de un problema a la

hora de argumentarlo y con esto tendremos un mejor aprendizaje sobre las situaciones
planteadas.
 2

PROPOSICIONES Y TABLAS DE VERDAD

Una lógica proposicional, o a veces lógica de orden cero, es un sistema formal cuyos
elementos más simples representan proposiciones, y cuyas constantes lógicas,
llamadas conectivas lógicas, representa operaciones sobre proposiciones, capaces de
formar otras proposiciones de mayor complejidad.

Las lógicas proposicionales carecen de cuantificadores o variables de individuo, pero

tienen variables proposicionales (es decir, que se pueden interpretar como
proposiciones con un valor de verdad definido), de ahí el nombre proposicional. Los
sistemas de lógica proposicional incluyen además conectivas lógicas, por lo que
dentro de este tipo de lógica se puede analizar la inferencia lógica de proposiciones a
partir de proposiciones, pero si tener en cuenta la estructura interna de las
proposiciones más simples.

Como las lógicas proposicionales no tiene cuantificadores o variables de individuo,

cualquier secuencia de signos que constituya una formula bien formada admite una
valoración en la proposición es verdadera o falsa dependiendo del valor de verdad
asignado a las proposiciones que la compongan. Esto implica que cualquier fórmula
bien formada define una función proposicional. Por tanto, cualquier sistema lógico
basado en la lógica proposicional es decididle y en un numero finito de pasos que se
puedan determinar la verdad o falsedad semántica de una proposición. Esto hace que
la lógica proposicional sea completa y con una semántica muy sencilla de
caracterizar.

La letra siguiente a desarrollar es la E.

 3

EJERCICIO 1: PROPOSICIONES Y TABLAS DE VERDAD.

PROPOSICIONES SIMPLES:

E. p: Hay protestas en contra la reforma tributaria en Colombia.

q: Desde el inicio de las manifestaciones el dólar subió

r: La Reforma tributaria desata la violencia.

LENGUAJE SIMBOLICA:

(𝒑 ∨ 𝒒) → (𝒒 ∧ 𝒓)

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

 Escriba la proposición compuesta propuesta en lenguaje natural

 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: Hay protestas en contra la reforma tributaria en Colombia.

q: Desde el inicio de las manifestaciones el dólar subió

r: La Reforma tributaria desata la violencia.

TABLA DE VERDAD:

P q r (p ˅ q) → (q ˄ r)
v v v v
v v f f
v f v f
v f f f
f v v v
f v f f
f f v v
f f f v
 4

(𝒑 ∨ 𝒒) → (𝒒 ∧ 𝒓)

p: Hay protestas en contra la reforma tributaria en Colombia.

q: Desde el inicio de las manifestaciones el dólar subió

r: La Reforma tributaria desata la violencia.

LENGUAJE NATURAL: Si hay protestas en contra de la reforma tributaria en

Colombia. O desde el inicio de las manifestaciones el dólar subió, entonces hay
protestas en contra la reforma tributaria en Colombia y la reforma tributaria desatara
violencia.

DEFINICION:

 Cuando los valores del operador principal son todos verdaderos se llama
TAULOGIA.
 Cuando los valores del operador principal son todos falsos se llama
CONTRADICCION.
 Si los valores del operador tiene por lo menos una verdadera y una falsa se
llama CONTINGENCIA.
VIDEO: https://youtu.be/HtE8am_j0aE

EJERCICIO 2: IDENTIFICACIÓN DE LAS REGLAS DE LA

INFERENCIA LÓGICA.

Expresión simbólica:

1. ~ p → ~ p
~p
__________
~q
Ley de inferencia de la expresión: Modus ponendo ponens. (pp).

Proposiciones simples:

p: El árbitro llegó puntualmente.

q: los jugadores se presentaron en el estadio.

Lenguaje Natural:
 5

si el arbitro no llega puntual entonces los jugadores no se presentan en el estadio. El

árbitro no llego puntual. por lo tanto, los jugadores no se presentan en el estadio.

Expresión simbólica:

2. p
q
P˄q
Ley de inferencia de la expresión:

Adjunción y simplificación.

Proposiciones simples:

p: El árbitro llegó puntualmente.

q: los jugadores se presentaron en el estadio.

Lenguaje Natural:

Si el arbitro llego puntual, los jugadores se presentaron en el estadio. Por lo

tanto, el arbitro llego puntual y los jugadores se presentaron en el estadio.

Expresión simbólica:

3. p ˅ r
p→s
r→s
s
Ley de inferencia de la expresión:

Simplificación disyuntiva. (SD).

Proposiciones simples:

p: El árbitro llegó puntualmente.

q: Los jugadores se presentaron en el estadio

r: Esa chica es mi amiga.

s: Su gato es marrón.

Lenguaje Natural:
 6

El arbitro llego puntual o esa chica es mi amiga. el arbitro llego puntual, entonces su
gato es marrón. Esa chica es mi amiga, en consecuencia, su gato es marrón.

EJERCICIO 3: APLICACIÓN DE LAS REGLAS DE LA INFERENCIA

LÓGICA.

1. Identificar la conclusión del argumento.

2. Nombrar la ley de inferencia que se aplica para probar el argumento.
3. Definir la expresión del argumento en lenguaje simbólico o formal.

E. Si Estados Unidos de América goza de una gran extensión geográfica entonces

Estados unidos presenta las 4 estaciones del año. Estados unidos No presenta las 4
estaciones del año.

a. Conclusión: Estados Unidos no presenta las 4 estaciones del año.

b. Ley de inferencia aplicada: Modus ponendo ponens.

c. Lenguaje simbólico: p → q

~q

Proposiciones simples:

P: Estados Unidos de América goza de una gran extensión geográfica.

q: Estados unidos presenta las 4 estaciones del año.

̚ q: Estados unidos No presenta las 4 estaciones del año.

EJERCICIO 4: PROBLEMAS DE APLICACIÓN.

E. Expresión simbólica:

[(p v q) ∧ (p → r) ∧ (q→ r) ∧ ∼q] → (r ∧ p).

Premisas:

P1: p v q

P2: p → r

P3: q→ r
 7

P4: ∼q

Conclusión:

r∧p

Proposiciones simples:

p: El árbitro llegó puntualmente.

q: Los jugadores se presentaron en el estadio

r: Esa chica es mi amiga.

Lenguaje Natural:

Si el arbitro llego puntual o los jugadores se presentaron en el estadio. Si el árbitro

llego puntual, entonces esa chica es mi amiga. Los jugadores se presentaron en el
estadio, entonces esa chica es mi amiga. Los jugadores no se presentaron en el
estadio. Por lo tanto, esa chica es mi amiga y el árbitro llego puntual.

Tabla de verdad manual:

[(p v q) ∧ (p → r) ∧ (q→ r) ∧ ∼q] → (r ∧ p).

p q r (p˅q) (p→r A˄B (q→r) C˄(q→r ~q D˄~q r ˄ p E→(r˄p)

) )
v v v v v v v v f f v v
v v f v f f f f f f f v
v f v v v v v v v v v v
v f f v f f v f v f f v
f v v v v v v v f f f v
f v f v v v f f f f f v
f f v f v f v f v f f v
f f f f v f v f v f f v
 Cuando los valores del operador principal son todos verdaderos se llama
TAULOGIA.

Tabla de verdad Simulador UNAD:

 8

CONCLUCION.

En pensamiento lógico matemático la lógica, la validez es un dominio que tiene los

argumentos cuando las premisas involucran la conclusión. Si la deducción es una
consecuencia lógica de las premisas, es decir que un argumento es deductivamente
valido. Algunos consideran estas dos nociones idénticas y usan ambos términos
igualmente. Otros, sin embargo, consideran que puede haber argumentos que no sean
deductivamente válidos, como las inducciones.