Ejercicio 2 Cuantificadores

Ejercicio 1:
Equivalencia entre Cuantificadores

se tienen las siguientes relaciones universales:
∀x∈A:P(x)⟷¬∃x∈A:¬P(x)
Si: para todo x de A se cumple P(x), es equivalente a: no
existe x en A que no cumpla P(x).
∃x∈A:P(x)⟷¬∀x∈A:¬P(x)
Si: existe x en A que cumple P(x), es equivalente a: no para todo x de A, no se
cumple P(x).
En cuanto al cuantificador existencial único puede considerarse una extensión por
definición en un lenguaje formal con igualdad teniendo dada la equivalencia:
∃!x∈A:P(x)⟷∃z∈A ∀x,y∈A:P(z)∧(P(x)∧P(y)→x=y)
Si: existe un único x en A que cumple P(x), es equivalente a: para todo x, y de A,
que cumple P(x) y P(y), entonces x es igual a y.
Las expresiones:
Todo hombre es mortal.
Algunos hombres son sabios.
Pueden traducirse respectivamente como:
Para todo x, si x es hombre entonces x es mortal.
Existe un x, tal que x es hombre y x es sabio.
Otros giros utilizados para la expresión "para todo x", son:

Todo x
Cualquiera x
Cada x
que se simbolizan por ""x" y se llama cuantificador universal.
Otros giros utilizados para la expresión "Existe un x" son:
Hay x
Existe x, tal que
Algún x
Algunos x
Que se simbolizan por "∃x" y se llama cuantificador existencial.

Existen tres formas de convertir una función proposicional P(x) en una proposición
a saber:
Haciendo la sustitución de las variables por un término específico.
Anteponiendo la expresión "para todo x" o cuantificador universal.
Anteponiendo la expresión "existe al menos un x" o cuantificador existencial.
El enunciado "existe al menos un x tal que P(x)" se representa como:
VxP(x) (x es ligada al cuantificador)
El enunciado "para todo x, P(x)" se representa como:

"VxP(x) (x es ligada al cuantificador)
"VxP(x) es verdadera cuando todos los x1, x2,..., xn se cumplan en
P(x1) Ù P(x2) Ù ... P(xn) es verdadero.
∃xP(x) es verdadero cuando al menos un caso x1, x2,..., xn se cumplan en
P(x1) Ú P(x2) Ú... P(xn) es verdadero.
Ejemplo:
Todo estudiante de esta clase ha estudiado cálculo.
P(x) : "x es estudiante de la clase de MDI"
Q(x) : "x ha estudiado cálculo"
"Vx(P(x) -> Q(x)
P(x) : "x + 1 > x" es verdadera la proposición "xP(x), cuál es el universo del
discurso donde es verdadero.
Q(x) : "x < 2" es verdadera la proposición "xQ(x) el universo de los reales.
P(x) : "x*x <10" cuál es el universo del discurso donde es verdadero.
Ejemplo: La afirmación "todos los números primos son impares" es falso porque,
"existe un número primo que no es impar". A dicho número, el dos, se le llama un
contraejemplo.
Bibliografía:
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 106 - 112). Ediciones Elizcom, Madrid.
 Peña, (1991). Rudimentos de lógica matemática (p 157) Madrid, tomado de

http://lorenzopena.es/books/rudimentos_csic.pdf
Ejercicio 2: Proposiciones y Tablas de Verdad
Argumento:
PlayStation es una consola si y sólo si es usada como un reproductor
de BlueRay y para jugar juegos de video.
p = PlayStation es una consola
q = es usada como reproductor de bluueray
r = para Jugar Juegos de Video
 Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico
𝑃 ↔ (𝑞 ∧ 𝑟)
 Tabla de la verdad (manual): recuerde que aparte de las columnas de

las proposiciones simples, debe haber tantas columnas como
operadores lógicos hay en el lenguaje simbólico (incluye negaciones y
demás operadores lógicos, en el caso del ejemplo que estamos
trabajando, hay 1 negación y 3 operadores lógicos), por lo tanto, la
tabla de verdad está compuesta por 4 columnas de proposiciones
simples, 1 de una negación y 3 columnas de operadores lógicos.
 Resultado de la tabla de verdad: CONTINGENCIA
𝒑 𝒒 𝒓 𝒑∧𝒒 𝒑 ↔ (𝒑 ∧ 𝒒)
V V V V V
V V F F F
V F V F F
V F F F F
F V V V F
F V F F V
F F V F V
F F F F V
 Simulador Lógica UNAD:

Ejercicio 3: Problemas de aplicación
 Expresión formal o simbólica (dada en el planteamiento del

ejercicio):
[(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)]⟶(∼r⟶p)
 Definición de las proposiciones simples: (se define cada
proposición simple del argumento, siempre en afirmativo y con letras
en minúscula).
p: participo en los CIPAS
q: participo en los B-learning
r: obtengo buenas calificaciones
 Lenguaje natural de la expresión formal: (A partir de las

proposiciones simples anteriores y el lenguaje simbólico dado en el
ejercicio, se construye la expresión en lenguaje formal o natural)
Si participo en los CIPAS entonces participo en los B-learning. Si no

participo en los CIPAS entonces obtengo buenas calificaciones. Por lo
tanto, si no obtengo buenas calificaciones entonces participo en los
CIPAS
 Generar la tabla de verdad manualmente: recuerde que
aparte de las columnas de las proposiciones simples, debe haber
tantas columnas como operadores lógicos hay en el lenguaje
simbólico (incluye negaciones y demás operadores lógicos, en el
caso del ejemplo que estamos trabajando, hay 3 proposiciones
simples, hay 2 negaciones y 5 operadores lógicos), por lo tanto, la
tabla de verdad está compuesta por 3 columnas de proposiciones
simples, 2 de negaciones y 5 columnas de operadores lógicos.
 Resultado de la tabla de verdad: TAUTOLOGÍA
 Generar la tabla de verdad con el simulador Lógica UNAD

Ejercicio 2 Cuantificadores

Cargado por

Copyright:

Formatos disponibles

Ejercicio 2 Cuantificadores

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Ejercicio 2 Cuantificadores

Cargado por

Copyright:

Formatos disponibles

Ejercicio 1:

Equivalencia entre Cuantificadores

Otros giros utilizados para la expresión "para todo x", son:

Que se simbolizan por "∃x" y se llama cuantificador existencial.

El enunciado "para todo x, P(x)" se representa como:

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

 Peña, (1991). Rudimentos de lógica matemática (p 157) Madrid, tomado de

p = PlayStation es una consola

q = es usada como reproductor de bluueray

r = para Jugar Juegos de Video

 Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico

 Tabla de la verdad (manual): recuerde que aparte de las columnas de

 Resultado de la tabla de verdad: CONTINGENCIA

 Simulador Lógica UNAD:

 Expresión formal o simbólica (dada en el planteamiento del

p: participo en los CIPAS

q: participo en los B-learning

r: obtengo buenas calificaciones

 Lenguaje natural de la expresión formal: (A partir de las

Si participo en los CIPAS entonces participo en los B-learning. Si no

 Resultado de la tabla de verdad: TAUTOLOGÍA

 Generar la tabla de verdad con el simulador Lógica UNAD

También podría gustarte