Está en la página 1de 11

PROPOSICIONES Y TABLAS DE VERDAD

Estudiante
Yerson Leonardo Romero Ortega

Docente
Ever Antonio Polo

Curso
Pensamiento Lógico y Matemático

Grupo
200611-466

Cúcuta
11/03/19
Introducción.

En el presente trabajo se refiere al tema de proposiciones y tablas de verdad, lo


cual nos llevara por un amplio campo de la lógica teniendo conocimientos
claros de los tipos de proposiciones, conectores lógicos que nos ayudar a
entender en profundidad la terminología compuesta para la lógica.
Se empleó tablas de verdad con el fin de determinar y conocer la veracidad de
las proposiciones que se emplean ya sea simples o compuestas.
Objetivos.

 Conocer simbología y su significado con el fin de entender el leguaje


formal.

 Estudiar los diferentes tipos de proposiciones que se pueden emplear.

 Realizar y comprender el procedimiento de tabulación y solución de las


tablas de verdad.

 Comprender la utilidad del cuantificador universal.


Ejercicio 1: Conceptualización de Cuantificadores
Descripción del ejercicio:

Con base en los contenidos desarrollados en la lectura, el estudiante debe


escoger uno de los siguientes temas y presentarlo de manera gráfica a través de
una presentación, utilizando un recurso didáctico tipo PREZI, PowerPoint u otra
herramienta digital. A partir del tema deberá dar su definición y dos ejemplos.
Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:


A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

B. Aprender matemáticas desarrolla el razonamiento lógico si y solo si se


posee una buena comprensión lectora y buena ortografía

A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:
 Definir las proposiciones simples del argumento.
Aprender matemáticas desarrolla el razonamiento lógico si y solo si se
posee una buena comprensión lectora y buena ortografía

p: Aprender matemáticas desarrolla el razonamiento lógico


q: se posee una buena comprensión lectora
r: buena ortografía

 Definir la expresión del argumento en lenguaje simbólico o formal.


(𝑝 ↔ 𝑞) ∧ 𝑟

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico (El estudiante encontrará la Guía para el uso de
recursos educativos Simulador Lógica UNAD, en el Entorno de
Aprendizaje Práctico, así como el link de acceso al recurso)
 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 q r (𝒑 ↔ 𝒒 ∧ 𝒓)
V V V V V V V V
V V F V V V F F
V F V V F F F V
V F F V F F F F
F V V F F V F V
F V F F F V F F
F F V F V F V V
F F F F V F F F

Solución: El resultado del valor principal de color rojo me indica


que es una contingencia.

Ejercicio 3: Problemas de aplicación

Descripción del ejercicio: A continuación, encontrará proposiciones


compuestas en lenguaje simbólico (argumento) para el desarrollo del ejercicio 3:

𝐁. (¬𝑝 → 𝑞) ∧ (𝑟 ∨ 𝑞)
A partir de la proposición compuesta en lenguaje simbólico que haya
seleccionado deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo


una descripción basada en un contexto, el que se solicita es un
contexto académico.

p: eres tecnólogo
q: eres ingeniero
r: un gran profesional

 Remplazar las variables expresadas simbólicamente y llevarlas al


lenguaje natural. Las proposiciones simples deben ser de autoría de
cada estudiante, por lo que de encontrar proposiciones iguales entre
estudiantes se considerará como copia y se tomarán las medidas
correctivas estipuladas por la UNAD.

No eres tecnólogo entonces eres ingeniero, además un gran


profesional o eres ingeniero

 Generar una tabla de verdad con el simulador Lógica UNAD a partir


del lenguaje simbólico (El estudiante encontrará la Guía para el uso de
recursos educativos Simulador Lógica UNAD, en el Entorno de
Aprendizaje Práctico, así como el link de acceso al recurso)
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico
(En Word, Excel o foto del desarrollo manual).

p q r (∼ 𝒑 → 𝒒 ) ∧ ( 𝒓 ∨ 𝒒)
V V V F V V V V V V
V V F F V V V F V V
V F V F V F V V V F
V F F F V F F F F F
F V V V V V V V V V
F V F V V V V F V V
F F V V F F F V V F
F F F V F F F F F F

 Definir si el argumento seleccionado inicialmente es una tautología,


contradicción o contingencia

R: El resultado del valor principal de color rojo me indica que es una


contingencia.
Conclusiones.

 Al finalizar esta guía de actividades se adquirió importante


conocimiento basado en la lógica como lo son el saber identificar,
realizar, modificar o crear proposiciones ya sean simples o
compuestas.
 Se entiende y se conoce la simbología y terminología de los
conectores lógicos los cuales permitirán entender y saber manejar el
lenguaje tanto natural como simbólico o formal.
 Se adquirió una buena de forma de comprensión en el desarrollo de
tablas de verdad.
 Se aprende el funcionamiento y manejo de una herramienta virtual
para la realización de procesos en tablas de verdad.
Referencias bibliográficas.

 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=3226457&tm=1529246259924
 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?pp
g=12&docID=3199701&tm=1529335849013
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas
y computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?pp
g=109&docID=3199701&tm=1529510366591