Lógica de predicados by ramiro dmitruk https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0 en-us 2023-10-04 22:40:05 UTC 2023-10-06 01:38:25 UTC hello@padlet.com Cuantificador Universal (∀) chelinvarela5 https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734762289 El Cuantificador Universal se utiliza para representar conjuntos que afirman que todos los individuos del dominio cumplen el predicado. El símbolo para representar el cuantificador universal es: ∀, y se lee “Para todo”. ]]> 2023-10-06 01:08:14 UTC https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734762289 Cuantificador Existencial (∃) chelinvarela5 https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734762437 El Cuantificador Existencial se utiliza para representar conjuntos que afirman que algún individuo del dominio (o más de uno) cumplen el predicado. El símbolo para representar el cuantificador existencial es: ∃, y se lee “Existe”. ]]> 2023-10-06 01:08:22 UTC https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734762437 Cuantificador Existencial Negado (∄) chelinvarela5 https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734762707 El Cuantificador Existencial Negado se utiliza para representar conjuntos que afirman que ningún individuo cumple el predicado. El símbolo para representar el cuantificador existencial negado es: ∄, y se lee “No existe”. ]]> 2023-10-06 01:08:35 UTC https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734762707 Constante de Individuo facundorusso2109 https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734763870 Una constante es el nombre formal que utilizamos dentro del diccionario para representar a un individuo de nuestro dominio.
Será necesario definir una constante por cada individuo del dominio, por lo cual, nuestro diccionario tendrá tantas constantes como individuos necesitemos mencionar.]]> 2023-10-06 01:09:30 UTC https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734763870 Propiedades facundorusso2109 https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734764199 Una propiedad es un adjetivo, una cualidad, característica o atributo que puede aplicarse a un individuo perteneciente a un dominio.]]> 2023-10-06 01:09:46 UTC https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734764199 Variables agustinaloray https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734764723 Una variable representa a un individuo dentro de una propiedad o relación, pero que al momento de definirla, desconocemos cuál es. Para esta representación se utilizan letras. Por convención se utilizan x, y, z, etc. El valor que tome “x” va a depender de como definimos el dominio para esa variable]]> 2023-10-06 01:10:06 UTC https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734764723 Relaciones ramirodmi05 https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734765467 Las relaciones vincula dos individuos del mismo o distintos dominios, a través de una característica o situación. Al igual que una propiedad, se aplica sobre individuos, pero en lugar de aplicar sobre un sólo individuo, se aplica sobre dos. ]]> 2023-10-06 01:10:42 UTC https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734765467 Dominios agustinaloray https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734776466 El dominio es el conjunto de valores que puede tomar cada individuo al cual le queremos aplicar una propiedad o relación. Básicamente, es el conjunto de individuos que queremos representar. Contamos con 2 maneras de definir el dominio: por extensión y por comprensión.

Por extensión: enumerando uno por uno cada valor. Ejemplo: Dominio = [“La vida es bella”, “El hijo de la
novia”, “Tiempo de valientes”, “Duro de matar”]. Este caso se utiliza para conjuntos muy reducidos.
Por comprensión: simplemente mencionando el nombre del conjunto, por ejemplo: Dominio = películas.
Es importante saber que puede coexistir más de un dominio. Las oraciones más interesantes manejan 2 dominios.]]> 2023-10-06 01:18:27 UTC https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734776466 Parámetros ramirodmi05 https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734776739 Los parámetros a un individuo de mi universo, que al momento de la definición de mi predicado , no sabemos quien es. Y también me permite determinar al orden en el que se aplica una relación entre varios individuos.]]> 2023-10-06 01:18:39 UTC https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734776739 Orden en una relación ramirodmi05 https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734781938 El orden en el que aplicamos la relación a los distintos individuos, da como resultado diferentes proposiciones pudiendo tener diferentes valores de verdad. ]]> 2023-10-06 01:22:14 UTC https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734781938 ramirodmi05 https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734783854 Las relaciones pueden estar dadas en términos de otras relaciones. ]]> 2023-10-06 01:23:46 UTC https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734783854 Lógica de predicados agustinaloray https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734785780 Este lenguaje nos va a permitir formalizar oraciones sobre individuos, sobre sus propiedades, y sobre cómo esos individuos se relacionan entre sí.]]> 2023-10-06 01:25:15 UTC https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734785780 Diccionario agustinaloray https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734793859 Se lo conoce como diccionario del lenguaje al conjunto de variables definidas con nociones semánticas para su uso en una traducción o formalización. ]]> 2023-10-06 01:31:16 UTC https://padlet.com/ramirodmi05/rfr3fyr3t4zy3tg0/wish/2734793859