PENSAMIENTO LOGICO Y MATEMATICO

TAREA 1: PROPOSIONES Y TABLAS DE VERDAD

CODIGO DEL CURSO :200611

Nancy Esperanza Burgos Acuña

1057548169

Tutora: Johanna Rosero Carvajal

Universidad Nacional Abierta y a Distancia (UNAD)

Contaduría publica CEAD: Soata
Soata Boyacá 2021
 Introducción
La ciencia que estudia los principios de la demostración, una comprobación de
expresiones que pueden ser evaluadas de dos formas, verdaderas (V) o falsas (F),
pero que no pueden concluir con el mismo resultado simultáneamente. Las tablas
de verdad uno de los métodos más sencillos de la lógica formal, también unos de
los más claros. En este trabajo se desarrollarán ejercicios sobre proposiciones y
tablas de verdad
 objetivos
Analizar e interpretar proposiciones para simbolizarlas Identificar las distintas
formas proposicionales Usar los símbolos básicos empleados en lógica Obtener
mejores conocimientos sobre cada uno de estos temas
 Ejercicio 1: Proposiciones y tablas de verdad

A continuación, encontrará las proposiciones simples para el desarrollo del

ejercicio 1:
A. p: La emergencia sanitaria fue ampliada hasta 31 de mayo
q: Los restaurantes están autorizados para vender licor
r: Las medidas de bioseguridad deben ser modificadas

➢ Lenguaje simbólico [(¬𝒑 ∧ 𝒓) ∧ (𝒑 ∧ 𝒒)]

➢ Lenguaje Natural
La emergencia sanitaria no fue ampliada hasta el 31 de mayo y las medidas
de bioseguridad deben ser modificadas y la emergencia sanitaria fue
ampliada hasta el 31 de mayo y los restaurantes están autorizados para
vender licor.

Ejercicio 2: Identificación de las reglas de la inferencia lógica

Descripción del ejercicio: A continuación, encuentra el lenguaje simbólico
expresiones que representan algunas leyes de inferencia .

A. Expresión simbólica p v q
¬q
P

➢ Ley de inferencia de la expresión: Modus Tollendo Ponens (MTP)

➢ Proposiciones simples:
p: Nancy estudia en la universidad pública.
q: Nancy aprobó pensamientos lógicos y matemáticos
➢ Lenguaje Natural: Nancy estudia en la universidad pública y Nancy
aprobó pensamientos lógicos y matemáticos. Nancy no aprobó pensamientos
lógicos y matemáticos.

Expresión simbólica r∧𝑠

r

➢ Ley de inferencia de la expresión: Simplificación (S)

➢ Proposiciones simples:
r: Nancy estudia en la UNAD
s: juega ajedrez

➢ Lenguaje Natural: Nancy estudia en la UNAD y juega ajedrez.

Expresión simbólica 𝑝 → q
p
q

➢ Ley de inferencia de la expresión: Modus Ponendo Ponens (PP)

➢ Proposiciones simples:
P: Pereira es el nombre de una ciudad
q: Pereira es un apellido

➢ Lenguaje Natural: si Pereira es el nombre de una ciudad entonces Pereira es

un apellido. Pereira es el nombre de una ciudad

Ejercicio 3: Aplicación de las reglas de la inferencia lógica

A continuación, encontrará los argumentos para el desarrollo del ejercicio 3:
A. El ejercicio regular fortalece el sistema inmunológico.
El ejercicio libera endorfinas que aumentan el estado de bienestar.
a. Conclusión: El ejercicio fortalece el sistema inmunológico
b. Ley de inferencia aplicada: Modus Ponendo Ponens (pp)
c. Lenguaje simbólico: 𝑝 → q
p
q
Ejercicio 4: Problemas de aplicación
Descripción del ejercicio: A continuación, encontrará la expresión simbólica, las
premisas y la conclusión de un argumento para el desarrollo del ejercicio 4
A. Expresión simbólica: [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)
Premisas:
P1: 𝒑 ∧ 𝒒12z
P2: 𝒑 → 𝒓
Conclusión: 𝒓 ∧ 𝒒

➢ Proposiciones simples:
p: Nancy estudia contaduría en la UNAD
q: Nancy aprobó el curso de cálculo diferencial
r: Nancy está matriculada en el periodo 16-02

➢ Lenguaje Natural: si Nancy estudia contaduría en la UNAD y Nancy aprobó el

curso de cálculo diferencial y Nancy estudia contaduría publica en la UNAD,
entonces Nancy esta matriculada en el periodo 16 -02 si Nancy esta matriculada
en el periodo 16-02 y Nancy aprobó el curso de cálculo diferencial.