Pensamiento Lógico y Matemático

Grupo

200611_265

Proposiciones y Tablas de verdad

Elaborado Por:

Gleydis Milena Obeso Lamus

Presentado a Tutor:

Hugo López

Universidad Nacional Abierta y a Distancia

UNAD

Escuela de Ciencias Básicas Tecnología e Ingenieria (ECBTI)

Ingenieria de Alimentos

2019
 Introducción:

La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas

determina si un argumento es válido o no, es esa ciencia que estudia los principios de la

demostración de los argumentos mediante una validez de comprobación de expresiones que

pueden ser evaluadas de dos formas, ciertas o falsas pero que no pueden concluir con el mismo

resultado simultáneamente. Igualmente, la lógica pretende el estudio de inferencias y el

pensamiento, proporcionando principios para determinar qué tipo de evidencia es apropiada para

una situación y su definitiva validez.

 Objetivos:

Objetivo General

Proporcionar al alumno los elementos básicos y conceptos de la lógica matemática, necesarios

para el estudio más profundo de los fundamentos de las matemáticas.

Objetivo Específico:

El estudiante comprende los conceptos fundamentales de la lógica proposicional y los aplica para

la resolución de problemas.

sí el alumno aprende lógica matemática no tendrá problemas para aprender ciencias exactas y

será capaz de programar computadoras ya que un programa de computadora no es otra cosa que

una secuencia de pasos lógicos, que la persona establece para resolver un problema determinado

y pueda resolver otro tipo de situaciones.

Analizar e interpretar proposiciones para simbolizarlas.

Aprender a identificar las clases de proposiciones que se puede encontrar en un enunciado.

 Desarrollo de los ejercicios:

Ejercicio 1: Conceptualización de Cuantificadores

Ejercicio 2: Proposiciones y Tablas de verdad

Si Laura chatea en su celular y conduce por la autopista entonces Laura tiene una alta

probabilidad de accidentarse o Laura puede dañar su automóvil.

Proposiciones Simples:

p: Laura chatea en su celular  

q: conduce por la autopista

r:  tiene una alta probabilidad de accidentarse

s: puede dañar su automóvil

Lenguaje simbolico:

p ∧ q→r ∨ s

Tabla de verdad simulador lógica UNAD:

 Tabla de verdad (manual):

p ∧ q→r ∨ s

p q r s p∧ p∧q→rvs rvs
q
v v v v v v v

v v v f f V v

v v f v f v v

v v f f f f f

v f v v f v v

v f v f f v v

v f f v f v v

v f f v f V v

f v v v f v v

f v v f f V v

f v f v f v v

f v f f f v v

f f v v f v v

f f v f f v v

f f f v f V v

f f f f f V v

Resultado de la tabla de verdad: CONTINGENCIA

Ejercicio 3: Problemas de aplicación

Expresión simbólica

( p ∧q ) → ( r ∨ ¬q )

Definición de las proposiciones simples:

p: Realizo un cronograma de actividades

q: Dedico tiempo al estudio

r: Obtengo excelentes calificaciones

Lenguaje natural de la expresión formal:

Si realizo un cronograma de actividades y dedico tiempo al estudio entonces obtengo

excelentes calificaciones o no dedico tiempo al estudio.

Tabla de verdad simulador lógica UNAD:

Tabla de verdad (manual):

( p ∧q ) → ( r ∨ ¬q )

p q r ~q (p∧q) (p∧q) →(r v~q) (r v ~q)

 v v v f v v V
v v f f v f F
v f v v f v V
v f f v f v V
f v v f f v V
f v f f f v F
f f v v f v V
f f f v f v V

Resultado de la tabla de verdad: CONTINGENCIA

Conclusión:

La idea principal es que se aprenda el concepto de una proposición, la forma en que se pueden

formar proposiciones compuestas usando los conectores lógicos y de igual forma las

proposiciones simples, representar enunciados por medio de simbología lógica, conocer los

conceptos de tautología, equivalencia lógica, regla de inferencia.

Bibliografía:

 https://es.calameo.com/read/0045201729fe72ebd88e7

 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.

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.

(pp. 9-28). Ediciones Elizcom, Madrid.