Pensamiento Lógico y Matemático (Curso: 200611_1176)

Proporciones y Tablas de Verdad

YARLEY TORRIJO ARIZA

Código: 57117862

No. de grupo: 200611B_614

Tutor

YENNY MARISOL CAYACHOA

Universidad Nacional Abierta y a Distancia

Fecha

Septiembre 22 del 2019

 Introducción
La lógica nos proporciona las herramientas y habilidades para dar razones de lo que
sabemos.
En clasificación de proposiciones de lógica tenemos proposiciones simples y
proposiciones compuestas: Proposiciones simples Las proposiciones simples son las
oraciones que no utilizan conectivos lógicos el valor de verdad de estas proposiciones
puede ser falso (F) o verdadero (V) pero no los dos por que anularía la proposición.

Objetivos
  conocer y aplicar los conceptos de lógica proposicional

 Conocer los diferentes tipos de conectivos lógicos

 Trabajar las diferentes tipos de proposiciones a través de tablas de verdad.
 Conocer los cuantificadores universal, saber dónde y cuando utilizarlos
 Identificar las proporciones como elemento fundamental de la lógica
 Comprender de la relación entre lenguaje simbólico y lenguaje natural.

1. Cuantificador Universal Negativo.

 2. Argumento: El arcoíris se forma con muchos colores si y sólo si el agua de lluvia
interactúa con los rayos de luz solar o si el sol está detrás de las nubes entonces, el
arcoíris no se forma con muchos colores.

PREPOSICIONES SIMPLES:
p = El arcoíris se forma con muchos colores

q = El agua de lluvia interactúa con los rayos de luz solar

r = El sol está detrás de las nubes

~p = El arcoíris no se forma con muchos colores.

LENGUAJE SIMBÓLICO:

(p↔q)˅ [r→ (~p)]

TABLA DE VERDAD

p q r ~p (p↔q) [r→(~p)] (p↔q)˅ [r→(~p)]

V V V F V F V
V V F F V V V
V F V F F F F
V F F F F V V
F V V V F V V
F V F V F V V
F F V V V V V
F F F V V V V

Resultado de la tabla de verdad: CONTINGENCIA

Simulador lógico.
 3. B. (p → q) ˄ (r ˄ s)

LENGUAJE NATURAL

Yarey estudia a distancia entonces Yarley mira las clases virtuales y Yarley realiza
los trabajos en la plataforma y Yarley envía los trabajos a tiempo.

PROPOSICIÓN SIMPLE:

p= Yarey estudia a distancia

q= Yarley mira las clases virtuales

r= Yarley realiza los trabajos en la plataforma

s= Yarley envía los trabajos a tiempo

Tabla de verdad

P Q R S (P → (R ^ S) (P → Q)˄(R ^ S)
Q)
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 F
V F V F F F F
V F F V F F F
V F F F F F F
F V V V V V V
F V V F V F F
F V F V V F F
F V F F V F F
F F V V V V V
F F V F V F F
F F F V V F F
F F F F V F F

Resultado de la tabla de verdad: CONTINGENCIA

Simulador lógico.
 Conclusiones

En esta actividad se dio la interacción y comunicación con los compañeros y tutor del
curso, se debatieron los temas y se logro la solución de los problemas.

Logramos identificar y comprender los elementos esenciales en la lógica, el manejo de

las tablas de verdad las cuales muestran el valor real de una proporción para cada
combinación.
Comprendimos el significado de los cuantificadores s universales y su importancia
dentro de la lógica matemática
 Bibliografías

Marín J.  (2019). [Simulador Lógica UNAD]. Recuperado

de: http://logicaunad.com/jtruth/

Castaño, G. (2018). Simulador Lógica UNAD

 http://logicaunad.com/jtruth/

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

(pp. 9-28). Ediciones Elizcom, Madrid.
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=12&docID=3199701&tm=1529335849013
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=109&docID=3199701&tm=1529510366591

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.