PENSAMIENTO LOGICO Y MATEMATICO

TAREA 1 – PROPOSICIONES Y TABLAS DE VERDAD

KELLY ALEXANDRA VIVEROS RENGIFO

CODIGO: 1148951001

TUTOR
HUGO LOPEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA (ECBTI)
ZCSUR CEAD SANTANDER DE QUILICHAO
2019
 INTRODUCCION

El presente trabajo identifica el concepto de cuantificador y explica con mayor

profundidad el cuantificador universal afirmativo desde las frases comunes que se
usan para denotarlo y explica con ejemplos. Sin embargo se explicaran temas de
proposiciones y tablas de verdad.
Las características principal de toda expresión verbal del cual podemos afirmas
que es verdadera o falsa se considera una proposición, simbolizadas con letras
minúsculas. Identificando proposiciones simples que no usan operadores lógicos
y proposiciones compuestas enunciados formados por dos o más proposiciones
simples.
Se tendrán en cuenta tablas de verdad manual teniendo en cuenta el enunciado
elegido para el desarrollo de todos los ejercicios la letra A. dando a conocer las
proposiciones simples y el lenguaje simbólico para estas. Identificando el número
de líneas con las que se va a trabajar en la elaboración de cada tabla. Teniendo
en cuenta la negación, conjunción, disyunción inclusiva, condicional, bicondicional
para determinar la posibilidad de que sean verdadera (V) o falsa (F).
Sin embargo se darán a conocer las comparaciones de las tablas de verdad
realizadas con el simulador de lógica unad para demostrar que están bien
realizadas.
 OBJETIVOS

Objetivo general
Reconocer los conceptos de cuantificadores y la aplicación de la lógica
proposicional para la solución de problemas

Objetivos específicos
 Identificar las proposiciones simples que hacen parte de la proposición
compuesta
 Reconocer el lenguaje simbólico
 Formulas tablas de verdad manualmente
 Manejar el simulador de lógica UNAD
 Definir según la tabla de verdad si es una tautología, contradicción o
contingencia
 Ejercicio 1: Conceptualización de Cuantificadores

A-Cuantificador Universal Afirmativo

https://prezi.com/3osobl-idhve/cuantificador-universal-afirmativo/

Ejercicio 2: Proposiciones y Tablas de verdad

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

 Laura chatea en su celular

 Laura conduce por la autopista
 Laura tiene alta probabilidad de accidentarse
 Laura puede dañar su automóvil

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

 p=laura chatea en su celular

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

(p ∧ q)→(r v s)
 Tabla de verdad con el simulador Lógica UNAD
  Tabla de verdad manualmente

p q r s (p∧q) (r v s) (p∧q)→(rvs)
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

 Ejercicio 3: Problemas de aplicación

Expresión formal o simbólica (dada en el planteamiento del ejercicio):

A. (𝒑 ∧ 𝒒) → (𝒓 ∨ ¬𝒒)

 Definición de las proposiciones simples:

P=estudia ingeniería en la unad
q= estuvo en los talleres
r= obtuvo malas calificaciones
q= Kelly no participo en los talleres

 Lenguaje natural de la expresión formal:

Kelly estudia ingeniería en la Unad y estuvo en los talleres. Entonces Kelly
obtuvo malas calificaciones o Kelly no participo en los talleres.

 Generar la tabla de verdad manualmente

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

 Generar la tabla de verdad con el simulador Lógica UNAD
 CONCLUSIONES

De esta forma concluimos que las proposiciones simples encontradas se

identificaron a partir de la letra p, llevándolas al lenguaje simbolico.para la
realización de tablas de verdad manualmente debimos identificar el número de
líneas con las que vamos a trabajar 2^n donde n= el número de proposiciones.
Sin embargo el simulador de lógica UNAD es de gran ayuda para comparar las
tablas y estar seguro de que están bien realizadas por consiguiente con el
resultado determinaremos si el resultado de la tabla de verdad fueron todas las
proposiciones verdadera se llamara (tautología), todas las proposiciones falsas
(contradicción), algunas proposiciones falsas y verdaderas (contingencia).
 REFERENCIAS BIBLIOGRAFICAS

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

computación. (pp. 106-112). Ediciones Elizcom, Madrid.
 Florencia Ucha | Sitio: Definición ABC | Fecha: julio. 2013
 Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de
proposiciones, [Vídeo
 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