Está en la página 1de 10

Pensamiento Lógico Matemático

Tarea 1 – Proposiciones y Tablas de Verdad

Yina Paola Álvarez días


Código: 1.069.472.692
Grupo: N° 829
Marzo 2019

Universidad Nacional Abierta y a Distancia


Escuelas de ciencias sociales, artes y humanidades ECSAH
Psicología
Introducción
Al realizar este trabajo se realiza basándose en las proposiciones y tablas de verdad
realizando un amplio conocimiento sobre el tema. Generando que el estudiante adquiera
los conceptos, elementos y herramientas teórico-prácticas; sobre razonamientos lógicos,
estructuración y validez representación y estructuración en lenguaje simbólico de las
proposiciones y tablas de la verdad, para de este modo fortalecer la destreza en la
formulación de argumentos e hipótesis que den validez lógica a nuevas concepciones o
actualizaciones cognitivas, que serán de gran utilidad en la vida cotidiana y en el
quehacer profesional.

Objetivos
Conocer más a fondo las proposiciones y como se compone.
Conocer y realizar tablas de verdad para mayor manejo del este tema.
Utilizar estrategias basadas en problemas
Adquirir herramientas útiles para nuestra vida profesional
Desarrollo de los 3 ejercicios
Ejercicio 1: Conceptualización de Cuantificadores

CUANTIFICADOR EXISTENCIAL ÚNICO


El cuantificador existencial con marca de unicidad se usa para indicar que hay un único
elemento de un conjunto A que cumple una determinada propiedad. Se escribe:

Se lee:
Existe un único elemento x de A, que cumple P(x).
Todos los planetas serian habitables si todos ellos tuvieran las mismas condiciones que la
tierra aunque podría ser posible algún día.
x: Todos los planetas serian habitables
a: si todos ellos tuvieran las mismas condiciones que la tierra
p(x): aunque podría ser posible algún día
REFERENCIA BIBLIOGRAFÍA
Real Academia de Ciencias Exactas, Física y Naturales, ed. (1999). Diccionario esencial de
las ciencias. Editorial Espasa Calpe, Madrid.

Ejercicio 2: Proposiciones y Tablas de verdad


Proposiciones simples

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

 Definir las proposiciones simples del argumento.

p=Laura chatea en su celular

q = conduce por la autopista

r= tiene una alta posibilidad de accidentarse

s= Laura puede dañar su automóvil

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

(p ˄ q) r˄s
•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

p q r s (p∧q)→r∧s
v v v v V
v v v f F
v v f v F
v v f f F
v f v v V
v f v f V
v f f v V
v f f f V
f v v v V
f v v f V
f v f v V
f v f f V
f f v v V
f f v f V
f f f v V
f f f f V
Tabla de la verdad manual
p q r s (p∧q)→r∧s
v v v v V
v v v f F
v v f v F
v v f f F
v f v v V
v f v f V
v f f v V
v f f f V
f v v v V
f v v f V
f v f v V
f v f f V
f f v v V
f f v f V
f f f v V
f f f f V
Ejercicio 3: Problemas de aplicación
Expresión formal simbólica.

(𝑝 ∧ 𝑞) → (𝑟 ∨ ¬𝑞)

Definición de las proposiciones simples


p=danna estudia psicología con dedicación
q= gana todos sus créditos de las materias
r= danna estudia de día
¬q: una universidad que es nocturna

Lenguaje natural de la expresión formal


Danna estudia con dedicación y gana todos sus créditos de las materias entonces danna
estudia de día en una universidad que no es nocturna.
Generar la tabla de verdad con el simulador Lógica UNAD

Generar la tabla de verdad manualmente

p q r ¬q (p ∧ q ) (r ∨¬q) (p∧q)→(r ∨¬q)


v v v v v v v
v v f f v v v
v f f f f v v
v f f v f v v
f v v f v f v
f v v v v v v
f f v v v v v
f f v f v f v

Resultado de la tabla de verdad: tautología


Conclusiones
Con esta actividad, se desarrollarán las competencias para la identificación de las
estructuras fundamentales de los razonamientos lógicos.
Identificar estas estructuras en el lenguaje natural y las expresiones complejas que se
forman cuando éstas se relacionan entre sí, permitirán encontrar el valor de verdad que
asumen expresiones complejas de acuerdo al valor de verdad que asumen en un momento
dado las estructuras lógicas más simples.
Reforzamos los conocimientos adquiridos en la anterior unidad al dar uso de las formas
básicas de las tablas de verdad, los principios de lógica y los razonamientos lógicos para
demostrar la validez o no validez de las situaciones problemitas propuestas.
Referencias bibliográficas

Real Academia de Ciencias Exactas, Física y Naturales, ed. (1999). Diccionario esencial de
las ciencias. Editorial Espasa Calpe, Madrid.
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.
(pp. 106 - 112). Ediciones Elizcom, Madrid.
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.

También podría gustarte