1

PROPOSICIONES Y TABLAS DE VERDAD

ESTUDIANTE

Deisy Carolina Pérez Becerra

TUTOR

Andrea Lizbeth Nova Ávila

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO

(200611_1836)

SOGAMOSO
 2

Introducción

El pensamiento lógico matemático es vital para conocer diferentes conceptos, razonar y comprender, también nos

permite establecer una relación entre diferentes conceptos y llegar a una comprensión llevando todas las decisiones y

acciones en un correcto orden y sentido.

A continuación, encontraremos algunos ejercicios para desarrollar la mente y llevar a cabo lo dicho anteriormente,

tales como: Proposiciones simples y compuestas en leguaje natural y simbólico, construcción de Tablas de Verdad,

reglas de la inferencia lógica, conclusión de argumentos, Cabe destacar que la practica hace al maestro por ende es muy

importante realizar ejercicios de aplicación para tener mayor claridad en el tema

 3

Objetivos

Objetivo general
 4

Comprender los tipos de proposiciones, las reglas de inferencia y los diferentes lenguajes mediante problemas de

aplicación

Objetivos Específicos

Construir tablas de verdad mediante las diferentes proposiciones

Argumentar el lenguaje natural de una proporción simbólica o viceversa

Realizar problemas de aplicación

 5

EJERCICIO 1: PROPOSICIONES Y TABLAS DE VERDAD (LETRA C)

PROPOSICIONES

p: Los estudiantes de la UNAD entregan sus actividades a través de la plataforma

q: Algunos estudiantes de la UNAD estudian Administración Financiera

r: Los estudiantes hacen uso del correo personal para entregar las actividades

LENGUAJE SIMBOLICO

(~𝑝↔𝑞) →(~𝑞∨𝑟)

LENGUAJE NATURAL.
 6

Algunos estudiantes de la UNAD NO entregan sus actividades a través de la plataforma POR LO CUAL algunos

estudiantes de la UNAD estudian administración financiera ENTONCES algunos estudiantes de la UNAD no estudian

administración financiera SALVO QUE los estudiantes hagan uso del correo personal para entregar sus actividades.

TABLA MANUAL

( Q (~ R
P Q R ↔ → V
~P ) Q )
V V V F F V V F V V
V V F F F V V F F F
V F V F V F V V V V
V F F F V F V V V F
F V V V V V V F V V
F V F V V V F F F F
F F V V F F V V V V
F F F V F F V V V F
 7

El resultado es una CONTINGENCÍA porque se presenta una sola falsedad eso quiere decir que su resultado puede

ser SI o NO.

o Tabla de verdad Simulador UNAD

 8

o ENLACE DEL VIDEO

https://www.youtube.com/watch?v=89DSi-yNaPo&feature=youtu.be

.
 9

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

A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas leyes de inferencia

1. Expresión simbólica

A→B

----------

Ley de inferencia de la expresión:

método ponenedo ponens (PP)

 10

Proposiciones Simples

A-Carolina estudia ingeniería industrial en la UNAD

B-La UNAD se caracteriza por la modalidad a Distancia

Lenguaje Natural

Si Carolina estudia ingeniería industrial en la UNAD entonces La UNAD se caracteriza por la modalidad a Distancia.

Carolina estudia ingeniería industrial en la UNAD, Por lo tanto, La UNAD se caracteriza por la modalidad a Distancia.
 11

2. Expresión simbólica

R→S

̃S

--------------

̃R
 12

Ley de Inferencia de la expresión

método tollendo tonens

Proposiciones Simples

R- El correo institucional de la UNAD es un medio de comunicación

S- Las dudas e inquietudes se pueden presentar a los tutores mediante el correo institucional.

Si el correo institucional de la UNAD es un medio de comunicación entonces Las dudas e inquietudes NO se pueden

presentar a los tutores mediante el corro institucional por lo tanto el correo institucional es un medio de comunicación.
 13

3. Expresión Simbólica
 14

PᶺQ

̃Q

---------

Ley de inferencia de la expresión

Método tollendo ponenes

Proposiciones Simples

P- los tutores de la UNAD brindan acompañamiento a través de web conferencias

Q- Los estudiantes de la UNAD cuentan con acompañamiento por parte de los tutores
 15

Lenguaje Natural

Los estudiantes de la UNAD brindan acompañamiento a través de web conferencias y los estudiantes de la UNAD

cuentan con acompañamiento por parte de los tutores, por lo tanto, los tutores de la UNAD brindan acompañamiento a

través de web conferencias

 16

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

Argumento: Si Camilo estudia Ingeniería electrónica entonces Camilo utiliza simuladores para realizar los circuitos.

Camilo no utiliza simuladores para realizar los circuitos.

a. Conclusión: según el Modus Tollens (Negando niego) se puede concluir que camilo no estudia Ingeniera

electrónica

b. Ley de inferencia aplicada: (MTT) Tollendo Tonens

c. Lenguaje simbólico:

A →B

̃B
 17

--------

̃A

Ejercicio 4: Problemas de aplicación

Expresión simbólica: {(𝒑∧¬𝑞) ∧(𝒓→𝑞) ∧(𝒓∨¬𝑞)}→(𝒑∧¬𝒓)

Premisas:

P1: 𝒑∧¬𝑞

P2: 𝒓→𝑞

P3: 𝒓∨¬𝑞
 18

Conclusión: 𝒑∧¬𝒓

Proposiciones simples

P: La ingeniería industrial pertenece a la Escuela de Ciencias Básicas, Tecnología e Ingeniería.

Q: La UNAD ofrece el programa de ingeniería industrial

R: Carolina estudia ingeniera industrial en la UNAD

Lenguaje Natural:
 19

La ingeniería industrial pertenece a la Escuela de Ciencias Básicas, Tecnología e Ingeniería y La UNAD NO ofrece el

programa de ingeniería industrial y Si Carolina estudia ingeniera industrial en la UNAD entonces La UNAD ofrece el

programa de ingeniería industrial y Carolina estudia ingeniera industrial en la UNAD Salvo que Si La UNAD NO ofrece el

programa de ingeniería industrial entonces La ingeniería industrial pertenece a la Escuela de Ciencias Básicas,

P Q R {( ∧ ¬𝑞 ∧ ( → 𝑞 ∧ ( V ¬𝑞) → ( ∧ ¬𝒓 Tecnología e

𝒑 ) 𝒓 ) 𝒓 } 𝒑 ) Ingeniería y Carolina
V V V V F F F V V V V V V F V V F F
NO estudia ingeniera
V V F V F F F F V V F F F F V V V V
V F V V V V F V V F F V V V V V F F
industrial en la
V F F V V V V F V F V F V V V V V V
F V V F F F F V V V V V V F V F F F
UNAD
F V F F F F F F V V F F F F V F F V
F F V F V V F V V F f V V V V F F F
F F F F V V F F V F v F V V V F F V

Tabla de verdad manual

Tabla de verdad Simulador UNAD

 20

Demostración de la validez del argumento mediante las Leyes de Inferencia:

Leyes de Inferencia:

Premisas:
 21

P1: p→¬r

P2: ¬q→ p

P3: p v ¬q

P4: P…. Simplificación (S) P3

P5: ¬𝒓…. Modus Ponendo ponens (PP) P1 Y P4

Conclusión

P ∧¬𝒓 …… Adjunción P4 y P5
 22

Referentes bibliográficos
 23

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid, España:

Editorial Tébar Flores

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39). México, D.F,

Larousse - Grupo Editorial Patria.

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. Córdoba, AR: El Cid

Editor. (pp. 40-49).

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. Córdoba, AR: El Cid

Editor. (pp. 40-49).

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39). México, D.F,

Larousse - Grupo Editorial Patria

 24

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39). México, D.F,

Larousse - Grupo Editorial Patria