Ejercicio 1: Conceptualización de Cuantificadores

Descripción del ejercicio

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.

Tema propuesto elegido: C. CUANTIFICADOR EXISTENCIAL

Recurso didáctico utilizado: POWER POINT

Evidencias de la presentación:
 Ejercicio 2: Proposiciones y Tablas de verdad

Argumento elegido para el desarrollo del ejercicio 2:

C. Pereira es el nombre de una ciudad o Pereira es un apellido, entonces Pereira es un

sustantivo.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
 Definir las proposiciones simples del argumento.

Proposiciones simples del argumento:

p: Pereira es el nombre de una ciudad
q: Pereira es un apellido
r: Pereira es un sustantivo

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

(p q) r

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

p q r (p q) (p q) r

V V V V V

V V F V F

V F V V V

V F F V F

F V V V V

F V F V F

F F V F V

F F F F V

Resultado de la tabla de verdad: CONTINGENCIA

 Ejercicio 3: Problemas de aplicación

Proposición compuesta en lenguaje simbólico que haya seleccionado:

C. (𝑝 ↔ ¬𝑞) ∨ (𝑞 ∧ 𝑟 )

 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: Esteban será ingeniero electrónico

q: Esteban aprueba la totalidad de los créditos

r: Esteban es disciplinado

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Esteban será ingeniero electrónico si y solo si no aprueba la totalidad de los créditos o aprueba la
totalidad de los créditos y es disciplinado.

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

 p q r ¬q q^r

V V V F V V

V V F F F F

V F V V F V

V F F V F V

F V V F V V

F V F F F V

F F V V F F

F F F V F F

 Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

contingencia:

Resultado de la tabla de verdad: CONTINGENCIA