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!
 

Fecho dedutivo

Índice Fecho dedutivo

Fecho dedutivo é uma propriedade de um conjunto de objetos (normalmente sentenças lógicas).

6 relações: Conjunto, Consequência lógica, Lógica, Propriedade (filosofia), Relação (matemática), Subconjunto.

Conjunto

Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.

Novo!!: Fecho dedutivo e Conjunto · Veja mais »

Consequência lógica

Consequência lógica é um conceito fundamental na lógica.

Novo!!: Fecho dedutivo e Consequência lógica · Veja mais »

Lógica

Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.

Novo!!: Fecho dedutivo e Lógica · Veja mais »

Propriedade (filosofia)

Propriedade, no sentido filosófico, constitui uma categoria de atributos de entidades ontológicas, atributos que se distinguem uns dos outros na qualificação das entidades.

Novo!!: Fecho dedutivo e Propriedade (filosofia) · Veja mais »

Relação (matemática)

Em matemática, uma relação é uma correspondência (ou associação) entre elementos de dois conjuntos não vazios.

Novo!!: Fecho dedutivo e Relação (matemática) · Veja mais »

Subconjunto

Diagrama de Euler ilustrando o fato de que A é subconjunto de B ou, equivalentemente, que B é superconjunto de A Em teoria dos conjuntos, quando todo elemento de um conjunto A é também elemento de um conjunto B, dizemos que A é um subconjunto de B, denotado A \subseteq B (também dito "A é uma parte de B" ou "A está contido em B").

Novo!!: Fecho dedutivo e Subconjunto · Veja mais »

CessanteEntrada
Ei! Agora estamos em Facebook! »