PROPOSICIONES Y TABLAS DE VERDAD

Estudiante

Tutor

Curso

Pensamiento Lógico y Matemático

Grupo

200611_463

Marzo 11 de 2019
 OBJETIVOS

Objetivo General

Conocer los elementos básicos y conceptos de la lógica matemática, importantes para

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

Objetivos Específicos

Diferenciar los tipos de razonamiento usados en las ciencias.

Conocer entre razonamientos válidos y razonamientos inválidos.

Utilizar y comprender los constituyentes de un lenguaje formal.

Conocer la importancia de la lógica simbólica en el estudio de los fundamentos de las

matemáticas.
 INTRODUCCIÓN

Las tablas de verdad son, por una parte, uno de los métodos más sencillos y
conocidos de la lógica formal, pero así mismo uno de los más poderosos y claros.

Conocer y aplicar bien las tablas de verdad es, en gran medida, entender bien a la
lógica matemática.
EJERCICIO 1

CONCEPTUALIZACIÓN DE CUANTIFICADORES

CUANTIFICADOR EXISTENCIAL
EJERCICIO 2

“C”. Pereira es el nombre de una ciudad o Pereira es un apellido, entonces Pereira es

un sustantivo

Solución: Primeramente debo separar las proposiciones simples o atómicas así:

Definición de proposiciones simples:

p: Pereira es el nombre de una ciudad

q: Pereira es un apellido

r: Pereira es un sustantivo

Lenguaje Formal o simbólico (p ∨ q) → r

Lenguaje natural de la exposición formal

(p ∨ q) → r: Pereira es el nombre de una ciudad o Pereira es un apellido, entonces

Pereira es un sustantivo.

TABLA MANUAL (Utilizando la de la bibliografía dada por el Tutor)

p q r p∨q (p ∨ q) → r

V V V V V

V V F V F

V F V V V

V F F V F

F V V V V

F V F V F

F F V F V

F F F F V

Resultado de la tabla de la verdad: Contingencia

TABLA SIMULADOR LOGICA UNAD

Resultado de la tabla de la verdad: Contingencia

EJERCICIO 3

Proposición compuesta en el lenguaje simbólico

C. (𝑝↔¬𝑞) ∨ (𝑞∧r)

Proposiciones Simples o atómicas

p: La asignatura de Pensamiento lógico y Matemático que cursa José en la UNAD es

difícil

q: José la estudia

r: la aprobara.

Lenguaje Natural de la proposición

La asignatura de Pensamiento Lógico y Matemático que cursa José en la UNAD es

difícil sí y solo si José no la estudia o José la estudia y la aprobara.

Tabla Manual

p q r ¬𝒒 (𝑝↔¬𝑞) (𝑞∧𝑟 ) (𝑝↔¬𝑞) ∨ (𝑞∧𝑟 )

V V V F F V V

V V F F F F F

V F V V V F V

V F F V V F V

F V V F V V V

F V F F V F V

F F V V F F F

F F F V F F F

Resultado de la tabla de verdad: Contingencia

TABLA DE VERDAD SIMULADOR LÓGICA UNAD
 CONCLUSIONES

En base a estas actividades realizadas en los tres (3) ejercicios propuestos se logra
identificar y comprender los elementos fundamentales de la lógica proposicional y
aplicarlos en la resolución por medio de las tablas de verdad así mismo la importancia
de la oportuna guía de nuestro Tutor en las dificultades presentadas durante el
desarrollo de problemas en el foro de discusión del entorno colaborativo.
 REFERENCIAS BIBLIOGRÁFICAS

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

computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado
dehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docID=3
199701&tm=1529335849013

http://logicaunad.com/jtruth/resolver.php

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. Recuperado
de http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=32
26457&tm=1529246259924
 ANEXOS

Un informe final sobre el trabajo realizado en el ejercicio 1 en el que el Tutor solicita se

anexe pantallazos utilizando Power Point como herramienta office.