1.

Tema seleccionado:
“Voy a desarrollar los ejercicios D”

B. Cuantificador Universal negativo.

DEFINICION
2 EJEMPLOS – POWER POINT
PEGAR PANTALLAZOS DIAPOSITIVAS

2.

D. Sofía estudia medicina o estudia literatura inglesa y Si ella estudia literatura inglesa
entonces escribirá poemas.

Proporciones simples

P= Sofía estudia medicina

Q= Estudia literatura inglesa
R = Entonces escribirá poemas

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

[(p v q) ^ (q →r)]

https://www.youtube.com/watch?v=a5cEaETtTNo

https://es.calameo.com/read/004768979a99056043443

https://www.academia.edu/37536556/L%C3%B3gica_proposicional_Ejercicio_2

https://www.youtube.com/watch?v=RY89xcvnevI
-Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos
Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de
acceso al recurso)
- 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 v q) (q →r) [(p v q) ^ (q →r)]

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

El resultado es: CONTIGENCIA

Ejercicio 3.

(𝑝 ⋁𝑞) ⋀ (𝑞 ⟶(𝑟 ⋀𝑠))

P: Jorleidis estudia en la unad

Q: Ingeniera industrial
R: La unad es una universidad pública abierta y a distancia
S: Con altos estándares de calidad

-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.
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos
Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de
acceso al recurso)
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
 Bibliografía
https://es.wikipedia.org/wiki/Cuantificador#Cuantificaci%C3%B3n_existencial_%C3%BA
nica
https://www.google.com/search?biw=1366&bih=662&ei=87GdW_ztHIW55gKApIrYDQ
&q=SIGNIFICADOS+cuantificador+existencial+unico&oq=SIGNIFICADOS+cuantificad
or+existencial+unico&gs_l=psy-
ab.3...392112.396472.0.396881.13.13.0.0.0.0.285.1848.0j6j4.10.0....0...1c.1.64.psy-
ab..3.2.363...0i13k1j0i13i30k1j0i13i5i30k1.0.WfwxGILe6s8
https://es.wikipedia.org/wiki/Cuantificador