Tarea 1

Proposiciones y trablas de verdad

Tutor/a:

Maria andrea botero

Estudiante:

Santiago Velásquez Montealegre

Grupo: 200611_1176

Universidad Nacional Abierta y a Distancia UNAD

Pensamiento lógico matemático

Ingenieria de telecomunicaciones
 Introducción

En el siguiente trabajo se podrá ver como se realizan 3 ejercicios en los cuales se

aplicaron los conocimientos adquiridos sobre cuantificadores, proposiciones y tablas

de la verdad.
 Objetivos

 Reconocer los cuantificadores y como se expresan.

 Graficar los datos de un silogismo en la tabla de la verdad.

 Saber cuándo un argumento es una tautología, contradicción o contingencia.

Ejercicio 1: Conceptualización de Cuantificadores

Con base en los contenidos desarrollados en la lectura, el estudiante debe escoger uno de

los siguientes temas y presentarlo de manera gráfica a través de una presentación,

utilizando un recurso didáctico tipo PREZI, PowerPoint u otra herramienta digital. A partir

del tema deberá dar su definición y dos ejemplos.

Los temas propuestos son:

A. Cuantificador Universal Afirmativo.

B. Cuantificador Universal negativo.

C. Cuantificador Existencial.

D. Cuantificador Existencial Único.

E. Equivalencias entre cuantificadores.

Cuantificador Existencial Único.

https://prezi.com/p/kmewuc5bxcja/

(prezi, 2019)

Ejercicio 2: Proposiciones y Tablas de verdad

Juan juega básquet por hobby o practica tenis de forma profesional. Si práctica tenis de forma

profesional entonces juega por más de tres horas diarias y quema muchas calorías.
 Definir las proposiciones simples del argumento.

P = juega básquet por hobby

Q = practica tenis de forma profesional

R = juega por más de tres horas diarias

S = Quema muchas calorías

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

(𝑃 ∨ 𝑄) → (𝑄 → 𝑅) ∧ S

 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.

Es una contingencia ya que al menos tiene un al menos un valor del símbolo

verdadero o falso

Ejercicio 3: Problemas de aplicación

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento)

para el desarrollo del ejercicio 3:

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

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

deberá:

•Definir las proposiciones simples.

P = Cristina Trabaja bien

q = Cristina sigue ordenes

r = No tiene sanciones

•Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural.

Cristina trabaja bien y sigue ordenes por lo tanto Cristina sigue ordenes o tiene

sanciones

•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).

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

contradicción o contingencia

El argumento es una tautología.

 Conclusiones

 Mediante los conocimientos adquiridos se pudo dar solucion a los tres ejercicios

anteriores, implementando la tabla de la verdad y definiendo propociciones.

 El uso de la tabla de la verdad nos permitio definir los argumentos de las premisas

para asi poder decir con certeza que tipo de argumento teniamos.
Bibliografía
Inc., P. (Marzo de 2019). prezi. Obtenido de
https://prezi.com/?rc=paid0sem0branded0search0&gclid=CjwKCAiAiJPkBRAuEiwAEDXZZT
wNPHqBUhWQvcnURcKiXYg41lvbwrJGFVNyuyVOTvhX3fOtXVRYIxoCW78QAvD_BwE