Unidad 1: ejercicio 1

Sally Julieth Plazas Villate

Grupo:

200611_1302

Yenny Marisol Cayachoa

Tutora

Universidad Nacional Abierta y a Distancia-UNAD

Pensamiento Lógico Matemático
2019

1
 Introducción

En la realización de la siguiente actividad se reconocerán temas de la

unidad 1 como proposiciones tablas de verdad, su operación para
interpretar el lenguaje simbólico por medio de ejercicios tiene la tabla de
verdad manual y la del simulador que nos ofrece la plataforma de la
UNAD herramienta que nos confirma el resultado de estos ejercicios; se
aborda la conceptualización del cuantificador universal afirmativo.

2
 Objetivos

Desarrollar la guía de forma correcta con el paso a paso que se

encuentra en la rúbrica demostrando así que los temas de tablas de
verdad, proposiciones, lenguaje simbólico y cuantificadores queda claro
para el estudiante del curso pensamiento lógico matemático.

3
Ejercicio 1: Conceptualización de Cuantificadores

Cuantificador Universal Afirmativo

https://prezi.com/view/TIpsRogR4qA15tlmzVzO/

Hace referencia a todos los elementos de un conjunto en particular

cuantificador universal afirmativo antepuesto a una variable para decir
que "para todo" elemento de un cierto conjunto se cumple
la proposición dada.
frases que se utilizan para denotar una cuantificadora universal
afirmativo
Todos x - Todo x
Para cada x
Cada x
Cada uno x
Siempre que x
Cualquiera x
Para todo x

símbolo

4
Ejemplo
1.Todos los niños tienen que jugar
Se debe hallar el cuantificador universal que es si x es todos los niños
entonces x tienen que jugar se define como
Nx↔ x es un niño
Jx↔ tienen que jugar ( ∀ x)Nx→Jx

2.Todo animal es un ser vivo

Ax↔todo animal
Vx↔ser vivo
( ∀ x ) Ax→Vx

Ejercicio 2: Proposiciones y Tablas de Verdad

Argumento:
A. 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
B. Proposiciones Simples: (se define cada proposición simple del
argumento, siempre en afirmativo y con letras en minúscula).

p= Laura chatea en su celular

q= conduce por la autopista
r= Laura tiene una alta probabilidad de accidentarse
s= Laura puede dañar su automóvil

 Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico

[(p^q) (r v s)]

Tabla de verdad manual 2⁴=2x2x2x2=16

5
p q r s (p^q) (r v s) [(p^q) (r v s)]

V V V V V V V
V V V F V V V
V V F V V V V
V V F F V 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 F F F 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 F 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 F V
Resultado de la tabla de verdad: CONTINGENCIA
 Simulador Lógica UNAD:

Ejercicio 3: Problemas de aplicación

6
Ejercicio 3: Problemas de aplicación

 Expresión formal o simbólica (dada en el planteamiento del

ejercicio):
 ( p ∧q ) → ( r ∨ ¬q )
 Definición de las proposiciones simples: (se define cada
proposición simple del argumento, siempre en afirmativo y con letras
en minúscula).

P= Sally estudia psicología

q= estudia de forma virtual
r= aprende sobre PLM

 Lenguaje natural de la expresión formal: (A partir de las

proposiciones simples anteriores y el lenguaje simbólico dado en el
ejercicio, se construye la expresión en lenguaje formal o natural)

Sally estudia psicología, pero estudia de forma virtual dado que aprende
sobre PLM o no estudia de forma virtual.

Tabla Dinámica manual 2³=2x2x2=8

p q r ¬q ( p ∧q ) ( r ∨¬ q ) ( p ∧q ) → ( r ∨ ¬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 F V
F F V V F V V
F F F V F V V
 Resultado de la tabla de verdad: CONTINGENCIA
7
Tabla con el simulador UNAD

8
 Conclusiones

Mediante la elaboración del presente trabajo colaborativo logramos

apropiarnos y ampliar nuestros conocimientos de los conceptos vistos en
esta unidad 1.

Gracias a la elaboración del presente trabajo estaremos en capacidad de

realizar tablas de verdad el manejo del lenguaje simbólico o formal y
conocimos el concepto de los cuantificadores.

9
 Bibliografía
cardona,T.S.A. Logica matematica para ingenieria de sistemas y computación. madrid: Ediciones
Elizcom, 2010.

Rodriguez, V.R. Conjuntos numerico,estructuras algebraicas y fundamentos de algebra lineral

.Volumen I . Madrid: Tebar Flores, 2013.

10