Lógica de Predicados by Leonardo Fidel Arana isita

leonardofidelaranaisita — 2024-04-20 19:21:01 UTC

Lógica de predicados

leonardofidelaranaisita — 2024-04-20 19:21:27 UTC

La lógica de predicados es utilizada para expresar el significado de un amplio alcance de proposiciones en matemáticas y ciencias de cómputos.de manera que nos permite razonar y explorar relaciones entre los objetos.

leonardofidelaranaisita — 2024-04-20 19:21:35 UTC

Ejemplo

Sujeto singular o elemental

leonardofidelaranaisita — 2024-04-20 21:37:11 UTC

En la lógica de predicados, un sujeto singular o elemental es un término que se refiere a un único individuo o entidad específica. Se contrasta con los sujetos generales o universales, que se refieren a un conjunto o clase de individuos.

Ejemplo

leonardofidelaranaisita — 2024-04-20 22:05:06 UTC

Sujeto particular o existencial

leonardofidelaranaisita — 2024-04-20 22:06:15 UTC

Un sujeto particular o existencial en la lógica de predicados es aquel que afirma la existencia de al menos un individuo que cumple con una propiedad o característica específica. Se diferencia de un sujeto universal, que afirma que todos los individuos del dominio del discurso cumplen con dicha propiedad.

Ejemplo de predicado

leonardofidelaranaisita — 2024-04-20 22:08:40 UTC

Sujeto Universal

leonardofidelaranaisita — 2024-04-20 22:14:53 UTC

Un sujeto universal en la lógica de predicados es aquel que afirma que todos los individuos del dominio del discurso cumplen con una propiedad o característica específica. Se diferencia de un sujeto particular, que afirma la existencia de al menos un individuo que cumple con dicha propiedad.

Predicado Monario

leonardofidelaranaisita — 2024-04-20 22:16:35 UTC

Los predicados monarios se utilizan para describir las propiedades o características de un solo individuo. Por ejemplo, en la proposición "Sócrates es filósofo", el predicado "es filósofo" es monario porque toma un solo argumento, "Sócrates", para tener un valor de verdad (verdadero en este caso).

Predicado Binario

leonardofidelaranaisita — 2024-04-20 22:18:12 UTC

Los predicados binarios se utilizan para describir las relaciones entre dos individuos. Por ejemplo, en la proposición "Juan ama a María", el predicado "ama" es binario porque toma dos argumentos, "Juan" y "María", para tener un valor de verdad (verdadero en este caso).

Predicado Ternario

leonardofidelaranaisita — 2024-04-20 22:19:37 UTC

Los predicados ternarios se utilizan para describir las relaciones entre tres individuos. Por ejemplo, en la proposición "Pedro dio un libro a María", el predicado "dio" es ternario porque toma tres argumentos: "Pedro", "un libro" y "María", para tener un valor de verdad (verdadero en este caso).

Cuantificadores

leonardofidelaranaisita — 2024-04-20 22:22:22 UTC

Los cuantificadores son términos que se utilizan en lógica y matemáticas para indicar la cantidad de elementos que cumplen con una propiedad específica dentro de un conjunto.

Cuantificador Universal

leonardofidelaranaisita — 2024-04-20 22:24:49 UTC

Indica que la propiedad se cumple para todos los elementos del conjunto. Por ejemplo, la proposición "Todos los gatos son mamíferos".

Cuantificador Existencial

leonardofidelaranaisita — 2024-04-20 22:26:45 UTC

Indica que hay al menos un elemento en el conjunto que cumple con la propiedad. Por ejemplo, "Existe un gato que es negro"

Negación de cuantificadores

dilmamendoza760 — 2024-04-21 00:41:09 UTC

La negación del cuantificador universal es equivalente a la afirmación de cuantificador existencial, respecto de la proposición negada y viceversa.

Para negar un enunciado cuantificado, basta con cambiar el cuantificador y negar la afirmación o predicado.
Ejemplo
∴ ¬∀x(Px)

Ejemplo: Negación de cuantificador

dilmamendoza760 — 2024-04-21 00:42:22 UTC

Funciones proposicionales binarias

dilmamendoza760 — 2024-04-21 01:05:14 UTC

Cuando la relación se hace entre dos individuos, se llama binaria o diática.
Ejemplo: Reemplazar la función proposicional de "x fue hijo de y" donde: x= Jesús; y= María;

Solución del ejemplo: Cuando se tiene una función proposicional en dos variables, es posible convertirla en una proposición sustituyendo cada una de las variables por un término específico o añadiendo un cuantificador a cada variable.
A(x,y) Ξ "Jesús fue hijo de María"

Esquema proposicional

dilmamendoza760 — 2024-04-21 01:09:49 UTC