Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Livre
Acesso mais rápido do que o navegador!
 

Axioma da regularidade e Lógica de primeira ordem

Atalhos: Diferenças, Semelhanças, Coeficiente de Similaridade de Jaccard, Referências.

Diferença entre Axioma da regularidade e Lógica de primeira ordem

Axioma da regularidade vs. Lógica de primeira ordem

O axioma da regularidade, também conhecido como axioma da fundação, em teoria dos conjuntos, é o que garante, essencialmente, que um conjunto não pode ser membro dele mesmo (diretamente, como X \in X\,, ou indiretamente, através de uma cadeia de outros conjuntos X \in X_1 \in X_2 \ldots \in X\,. A sua formulação, devida a von Neumann (em 1925), em lógica de primeira ordem é: Ou seja, todo conjunto que não é o conjunto vazio possui um elemento que é totalmente disjunto dele. Este é um dos axiomas de Zermelo-Fraenkel, e de outras importantes versões da teoria dos conjuntos. Em versões da teoria dos conjuntos que violam este axioma, os "culpados" são chamados de hiperconjuntos; um exemplo é o átomo de Quine Q. A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.

Semelhanças entre Axioma da regularidade e Lógica de primeira ordem

Axioma da regularidade e Lógica de primeira ordem têm 3 coisas em comum (em Unionpedia): Axioma, Axiomas de Zermelo-Fraenkel, Teoria dos conjuntos.

Axioma

Na lógica tradicional, um axioma ou postulado é uma sentença ou proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria.

Axioma e Axioma da regularidade · Axioma e Lógica de primeira ordem · Veja mais »

Axiomas de Zermelo-Fraenkel

Na matemática, a teoria dos conjuntos de Zermelo-Fraenkel com o axioma da escolha, nomeada em homenagem aos matemáticos Ernst Zermelo e Abraham Fraenkel e comumente abreviada como ZFC, é um dos muitos sistemas axiomáticos que foram propostos no início do século XX para promover uma teoria dos conjuntos sem os paradoxos da teoria ingênua dos conjuntos, como o paradoxo de Russell.

Axioma da regularidade e Axiomas de Zermelo-Fraenkel · Axiomas de Zermelo-Fraenkel e Lógica de primeira ordem · Veja mais »

Teoria dos conjuntos

conjuntos. Teoria dos conjuntos ou de conjuntos é o ramo da lógica matemática que estuda conjuntos, que (informalmente) são coleções de elementos.

Axioma da regularidade e Teoria dos conjuntos · Lógica de primeira ordem e Teoria dos conjuntos · Veja mais »

A lista acima responda às seguintes perguntas

Comparação entre Axioma da regularidade e Lógica de primeira ordem

Axioma da regularidade tem 10 relações, enquanto Lógica de primeira ordem tem 54. Como eles têm em comum 3, o índice de Jaccard é 4.69% = 3 / (10 + 54).

Referências

Este artigo é a relação entre Axioma da regularidade e Lógica de primeira ordem. Para acessar cada artigo visite:

Ei! Agora estamos em Facebook! »