Actividad 1

Proposiciones y Tablas de la verdad

Daniela Patricia Loaiza Hernández

Grupo no. 200611_138

Tutor

Paulo Andrés Vélez

Universidad Nacional Abierta y a Distancia

Pensamiento Lógico y Matemático

Bogotá d. c.

2019
Introducción:

Este trabajo está basado en el desarrollo de conceptos, Proposiciones,

cuantificadores, cuantificadores universales afirmativos y tablas de verdad
aplicándolo a la solución de ejercicios debidamente seleccionados. “A”

Para ello se utilizan diferentes tipos de herramientas digitales.

Ejercicio 1

A. Cuantificador Universal Afirmativo

Este ejercicio es desarrollado en la herramienta digita Prezi con el enlace

correspondiente.

https://prezi.com/2ln-frh9ovht/?
utm_campaign=share&utm_medium=copy&rc=ex0share

Proposiciones y tablas de la verdad

Ejercicio 2

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.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes
ítems:

 Definir las proposiciones simples del argumento.

Laura chatea en su celular y conduce por la autopista, tiene una alta probabilidad de
accidentarse o dañar su automóvil.

P: Laura chatea en su celular

q: Conduce por la autopista

r: tiene una alta probabilidad de accidentarse

s: dañar su automóvil

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

(p ᶺ q) → (r ⱽ s)

Si Laura chatea en su celular y conduce por la autopista entonces Laura tiene una
alta probabilidad de accidentarse o puede dañar su automóvil.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico y

determinar si el resultado es una tautología, contingencia o contradicción.
 Tabla de Verdad

p q r s pᶺq rⱽs (p ᶺ q) →
(r ⱽ s)
V V V V V V V
V F V F F V V
F V F V F V V
F F F F F F F

El resultado es una Contingencia, ya que en la tabla de verdad nos arroja un falso y

varios verdaderos. Así clasificando las probabilidades, determinando unas
probabilidades conociendo otras de la tabla.

Ejercicio 3

A. (p∧q) →(r∨~q)

A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado

deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una

descripción basada en un contexto, el que se solicita es un contexto
académico:

p: Daniela estudia en la UNAD

q: está en el programa de medicina

r: la UNAD es una Universidad

~q: no está en el programa de medicina

 Reemplazar las variables expresadas simbólicamente y llevarlas al lenguaje
natural. Las proposiciones simples deben ser de autoría de cada estudiante.

Si Daniela estudia en la UNAD y está en el programa de medicina, entonces la

UNAD es una Universidad.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico.
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico (en
Word, Excel o foto del desarrollo manual)

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

TABLA DE VERDAD

p q r ~q pᶺq r ⱽ ~q (p ᶺ q) → (r ⱽ ~q)
V V V F V F F
V F F V V F F
F V V F F V F
F F F V F F F

 Definir si el argumento seleccionado inicialmente es una tautología,

contradicción o contingencia.

El resultado da una contradicción, porque siempre su resultado va a arrojar

falsedad, independientemente que sean verdaderas o falsas las proposiciones
simples que la conforman.
Conclusiones

Con el material utilizado para su desarrollo pudimos comprender el Cómo hacer

una proposición simple, una proposición compuesta y en base a esto como hacer las
tablas de verdad. También manejamos el simulador de la UNAD.