1

1
Capítulo 1
Cuantificador Existencial Único
2
 3

Capítulo 2

Proposiciones y tablas de verdad

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

D. Si las películas de Marvel han sido las más taquilleras en los últimos años entonces, la

gran mayoría de las personas las han visto y si la gran mayoría de las personas no las han

visto entonces The Avengers no es una película taquillera.

1. Definir las proposiciones simples del argumento.

p: Si las películas de Marvel han sido las más taquilleras en los últimos años entonces

q: la gran mayoría de las personas las han visto

⌐ q: si la gran mayoría de las personas no las han visto entonces

⌐ r: The Avengers no es una película taquillera.

r: The Avengers es una película taquillera.

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

( p → q)∧(⌐ q →⌐ r)

3. Generar una tabla de verdad con el simulador Lógica UNAD a partir del

lenguaje
 4

4. 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)∧(⌐ q →⌐ r)

p q r ⌐q ⌐r ( p → q) (⌐ q →⌐ r) ( p → q)∧(⌐ q →⌐ r)

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

V F V V F F F F

V F F V V F V F

F V V F F V V V

F V F F V V V V

F F V V F V F F

F F F V V V V V
El resultado obtenido es una contingencia
 5

Capítulo 3

problemas de aplicación

Descripción del ejercicio:

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

para el desarrollo del ejercicio 3:

D . { p ⟷ [ q ∧(r ∨ s) ] }

1. 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,

ejemplo:

(p: Carlos estudia en la UNAD.)

(q: La UNAD es una Universidad Pública)

p: John Anderson es estudiante de ingeniería Industrial en la UNAD siempre que y solo

cuando

q: halla pasado por la oficina de registro académico, además,

r: cuando halla matriculado los créditos mínimos del semestre de la carrera o también

s: al obtener el recibo de pago cancele el valor correspondiente en el banco

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

natural. Las proposiciones simples deben ser de autoría de cada estudiante, por

lo que de encontrar proposiciones iguales entre estudiantes se considerará como

copia y se tomarán las medidas correctivas estipuladas por la UNAD.

 6

John Anderson es estudiante de ingeniería industrial en la UNAD siempre que y solo

cuando, halla pasado por la oficina de registro académico, además, cuando halla

matriculado los créditos mínimos del semestre de le carrera o también al obtener el recibo

de pago cancele el valor correspondiente en el banco

3. Generar una tabla de verdad con el simulador Lógica UNAD a partir del

lenguaje simbólico
 7

4. Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En

Word, Excel o foto del desarrollo manual).

{ p ⟷ [ q ∧(r ∨s )] }
p q r s (r ∨ s) [ q ∧(r ∨ s) ] { p ⟷ [ q ∧(r ∨s )] }

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 F F F

V F V V V F F

V F V F V F F

V F F V V F F

V F F F F F F
F V V V V V F
 8

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

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

contradicción o contingencia

El resultado obtenido es una contingencia