UNIDAD 1: TAREA 1 - PROPOSICIONES Y TABLAS DE VERDAD

PENSAMIENTO LÓGICO Y MATEMATICO

CATIANA YONEIDA LOPEZ GIRALDO

CODIGO: 1039701642

GRUPO: 563

TUTOR: JULIAN EDUARDO HOYOS

SAN PABLO 2019

 Introducción
El propósito de este trabajo es que el estudiante desarrolle habilidades, analice,
interprete la lógica de cada punto, conocer y manejar cuantificadores para
poder serlos explícito en una presentación didáctica, entender proposiciones y
manejar una tabla de verdad, se resuelve y se identifica la proposición
compuesta que puede ser tautología, contradicción o contingencia.

Objetivo
. Diseñar tabla de verdad a partir del simulador unad.
. Conocer los conceptos de cuantificadores.
. Definir las proposiciones simples del argumento.
. Definir la expresión del argumento en lenguaje simbólico o formal.
Ejercicio 2

A. Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo lleva

al concesionario o Si ella no lo lleva al concesionario entonces, lo lleva
taller de Fernando

(p ⟶ q) ∨ (¬q ⟶ r)

Si separamos las proposiciones de las afirmaciones.

Preposiciones simples

p: El vehículo de Gabriela necesita mantenimiento.

q: Gabriela lleva su vehículo al concesionario.
r: Gabriela lleva su vehículo al taller de Fernando.

Si el vehículo de Gabriela necesita mantenimiento entonces Gabriela lleva su vehículo

al concesionario.

p⟶ q

SI Gabriela no lleva su vehículo al concesionario entonces Gabriela lleva su vehículo

al taller de Fernando.

¬q ⟶ r

La forma en la cual representaremos la interpretación:

(p ⟶ q) ∨ (q ⟶ r)
Ejercicio 3: proposiciones compuestas en lenguaje simbólico

Si José tiene una moto, no tiene permiso para conducir, entonces, José
conducirá su moto hasta Medellín o la transito lo detendrá en la carretera.

Solución:

𝑝 = José tiene una moto

𝑞 = no tiene permiso para conducir
𝑟 = José conducirá su moto hasta Medellín
𝑠 = la transito lo detendrá en la carretera

(𝒑 ∧ 𝒒) → (𝒓 ⋀ 𝒔) 2n =24 = 2x2x2x2=16

TABLA DE VERDAD CON EL SIMULADOR LÓGICA UNAD

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 VERDAD A PARTIR DEL LENGUAJE SIMBÓLICO

p q r s (p∧q) (r∧s) (p∧q)→(r∧s)

v v v v v v V
v v v f v f F
v v f v v f F
v v f f v f F
v f v v f v V
v f v f f f V
v f f v f f V
v f f f f f V
f v v v f v V
f v v f f f V
f v f v f f V
f v f f f f V
f f v v f v V
f f v f f f V
f f f v f f V
f f f f f f V

RESULTADO DE LENGUAJE SIMBOLICO ES CONTINGENCIA

 Conclusiones

Durante el desarrollo del presente trabajo se evidencia que la tabla de verdad

y los cuantificadores juegan un papel clave en el estudio de la vida cotidiana,
es decir, que nos permite representar y manipular el contexto real sobre el
mundo que nos rodea.
 Bibliografía

 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

 https://sites.google.com/site/mathematicasdiscretesolutions/logica-de-
po/cuantificadores

https://sites.google.com/site/mathematicasdiscretesolutions/logica-de-po/cuantificadores

http://logicaunad.com/jtruth/resolver.php

http://logicaunad.com/jtruth/