1.

INTRODUCCIÓN:

Las Proposiciones son todas aquellas expresiones lingüísticas que se puede afirmar si

es verdad o es falso, las proposiciones se dividen en dos: Proposiciones simples o

compuestas.

La tabla de verdad te da todas las posibilidades en que las proposiciones juntas

pueden ser verdaderas o falsas

2. OBJETIVOS

- Conocer los conceptos básicos en cuanto a proposiciones y tablas de verdad

- Reconocer las proposiciones simples en un argumento,

- Aprender a generar tablas de verdad manuales y desde el aplicativo lógica UNAD.

- Aprender a pasar un argumento en lenguaje simbólico al lenguaje natural y

viceversa
EJERCICIO 1:

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

Tema escogido: D. Cuantificador Existencial Único

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

ejercicio 2:

D. Juan juega básquet por hobby o practica tenis de forma profesional. Si practica tenis
de forma profesional entonces juega por más de tres horas diarias y quema muchas
calorías.

o Definir las proposiciones simples del argumento:

Juan juega básquet por hobby o practica tenis de forma profesional. Si practica tenis
de forma profesional entonces juega por más de tres horas diarias y quema muchas
calorías.

𝑝: juega básquet por hobby

𝑞: practica tenis de forma profesional
𝑟: juega por más de tres horas diarias
𝑠: quema muchas calorías

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

Juan juega básquet por hobby o practica tenis de forma profesional. Si practica
tenis de forma profesional entonces juega por más de tres horas diarias y quema
muchas calorías.
[(𝑝 ∇ q) → 𝑞] → 𝑟 ∆ 𝑠
o Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico
 o Generar una tabla de verdad manualmente y determinar si el resultado es una
tautología, contingencia o contradicción.

El resultado de esta tabla es

Contingencia

EJERCICIO 3:

Descripción del ejercicio:

A continuación, encontrará proposiciones compuestas en lenguaje simbólico
(argumento) para el desarrollo del ejercicio 3:
D. ()()
- Definir las proposiciones simples
: Duvan estudia Ing. De alimentos en la UNAD
: está viendo el curso de pensamiento lógico matemático
: dedicar tiempo para el desarrollo de las tareas
 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural

Si Duvan Estudia Ing. De alimentos en la UNAD y está viendo el curso de

pensamiento lógico matemático. entonces, si está viendo el curso de pensamiento
lógico matemático Duvan deberá de dejar de jugar futbol o no dedicar tiempo para el
desarrollo de las tareas.
 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico

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

o contingencia

La anterior proposición compuesta como conclusión podemos decir que es

Tautología.
CONCLUCIONES:

Con este trabajo logramos comprender el significado de proposiciones,

identificarlas en un argumento y definirla de forma natural a, forma simbólica.

En cuanto a las tablas de verdad aprendimos a generarla manualmente o en el

aplicativo y que son ellas las que nos pueden decir todas las formas en que una

proposición puede ser verdadera o falsa.

 REFERENCIAS:

- Ejercicio 1

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

computación. (pp. 106 - 112). Ediciones Elizcom, Madrid.
o https://www.youtube.com/watch?v=juviHMJp9m8&t=6s

- Ejercicio 2

o 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.
o Anexo -1-Ejemplos para el desarrollo Tarea 1 - Proposiciones y Tablas de

Verdad.

- Ejercicio 3

o Anexo -1-Ejemplos para el desarrollo Tarea 1 - Proposiciones y Tablas de

Verdad.