Tarea 1 Proposiciones y Tablas de Verdad

Laura Vanessa Barraza Ortiz Código 1121954683

Grupo 1207

Tutor: Yersson David Mosquera

Celular: 3143047328

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias Sociales, Artes y Humanidades

San José del Guaviare Marzo 2020

 INTRODUCCIÓN

El siguiente trabajo trae los contenidos acerca de la temática libre que se escogió, la cual

fue cuantificador universal negativo, luego la temática correspondiente de las guías a

desarrollar sobre: proposiciones y tablas de verdad, los cuales están desarrollados por

medio de ejercicios y breve explicación de cada problema escrita en el lenguaje matemático

y en el lenguaje formal o natural.

 OBJETIVO GENERAL

Al finalizar la actividad se conocerán los principales conceptos de la lógica

proposicional, siendo un punto de partida para el desarrollo de la lógica. Evaluado

proposiciones en forma de enunciados permitiendo determinar su validez al realizar un

análisis generando bases para comprender, solucionar, interpretar e identificar operaciones

utilizando la lógica proposicional.

 OBJETIVOS

 Analizar e interpretar proposiciones para simbolizarlas

 Comprender los principios de las operaciones de la lógica en otras áreas de la

carrera

 Analizar los enunciados para la elaboración de las tablas de verdad, teniendo en

cuenta cada uno de los símbolos

1 punto de la actividad link

D. Cuantificador Existencial Único.

https://docs.google.com/presentation/d/1wcl7C6tFhf0keKZIFtCT3q8N5ZwtKVO9qTYo

NiMTQmY/edit?usp=sharing

Ejercicio 2: Proposiciones y Tablas de verdad

D. Si las películas de Marvel han sido las más taquilleras en los últimos años entonces,

la gran mayoría de las personas las han visto y si la gran mayoría de las personas no las

han visto entonces The Avengers no es una película taquillera.

RESPUESTA

Si las películas de Marvel han sido las más taquilleras en los últimos años entonces, la

gran mayoría de las personas las han visto y si la gran mayoría de las personas no las han

visto entonces The Avengers no es una película taquillera.

p: Marvel ha sido las más taquilleras

q: la gran mayoría de las personas las han visto

r: entonces The Avengers no es una película taquillera

Este ejercicio es una contingencia

(pvq) ∧ (q→r)

p q r q (pvq) (q → r) (pvq) ⅄ (q → r)
V v v v v v v

v v f v v v f

v f v f v f v

v f f f v f v

f v v v v v v

f v f v v v f

f f v f f v f

f f f f f v f
Ejercicio 3: Problemas de aplicación
D. { p ⟷ [ q ∧(r ∨s )] }

RESPUESTAS:

Sofía trabaja en el parque o en la cancha y si trabaja en la cancha entonces

venderá más que frente de su casa

 ((𝑝 ∧ 𝑞) → (𝑟 ⋀ 𝑠))

p q r s (𝑝 ∧ 𝑞) (𝑟 ⋀ 𝑠) ((𝑝 ∧ 𝑞) ∧ (q→ (𝑟 ∧ 𝑠))

V V V V V V V

V V V F V F F

V 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 F V

V F F V F V V

V F F F F F V

F V V V V V V

F V V F V F V

F V F V V V V

F V F F V F V

F F V V F V V

F F V F F F V

F F F V F V V

F F F F F F V

Si los valores del operador tienen por lo menos una verdad o una falsedad es una:

Contingencia
 CONCLUSIÓN

-En esta actividad se buscaba aprender conceptos nuevos, acerca de tablas de verdad,

proposiciones simples a través de ejercicios.

-En las diapositivas se muestra la explicación acerca del cuantificador universal

negativo, para entender dichos conceptos teóricos de forma resumida y explícita.

 -Finalmente se pudo entender el tema, desarrollando los respectivos ejercicios.

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

• 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. Recuperado

dehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?

ppg=12&docID=3199701&tm=1529335849013

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

computación. (pp. 9-28). Ediciones Elizcom, Madrid.