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

Princípio de explosão

Índice Princípio de explosão

O princípio de explosão (em latim: ex falso quodlibet ou ex contradictione sequitur quodlibet, "a partir de uma contradição, qualquer coisa segue") é uma lei da lógica clássica e de alguns outros sistemas como a lógica intuicionista que, de acordo com ela, "qualquer coisa pode surgir de uma contradição", isto é, uma vez que uma contradição foi afirmada, qualquer proposição (ou a sua inversa) pode ser inferida dela.

8 relações: Consequência lógica, Eliminação da conjunção, Introdução da disjunção, Latim, Lógica clássica, Lógica intuicionista, Papai Noel, Silogismo disjuntivo.

Consequência lógica

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

Novo!!: Princípio de explosão e Consequência lógica · Veja mais »

Eliminação da conjunção

Na lógica matemática, a eliminação da conjunção ou simplificação é uma regra de inferência que estabelece que, se a conjunção de A e B é verdadeira, então A é verdadeiro e B é verdadeiro.

Novo!!: Princípio de explosão e Eliminação da conjunção · Veja mais »

Introdução da disjunção

Na lógica matemática, a introdução da disjunção é uma regra de inferência que estabelece que, se um argumento é verdadeiro, então a disjunção deste argumento com qualquer outro também é verdadeiro.

Novo!!: Princípio de explosão e Introdução da disjunção · Veja mais »

Latim

A língua latina ou latim é uma antiga língua indo-europeia do ramo itálico, originalmente falada no Lácio, a região em volta da cidade de Roma.

Novo!!: Princípio de explosão e Latim · Veja mais »

Lógica clássica

Lógica clássica identifica uma classe de Lógica matemática que têm sido mais intensamente estudado e mais amplamente utilizado.

Novo!!: Princípio de explosão e Lógica clássica · Veja mais »

Lógica intuicionista

Lógica intuicionista, ou lógica construtivista, é o sistema de lógica simbólica desenvolvido por Arend Heyting para prover uma base formal para o intuicionismo de Brouwer.

Novo!!: Princípio de explosão e Lógica intuicionista · Veja mais »

Papai Noel

Papai Noel retratado por Jonathan Meath em 2010, também conhecido como São Nicolau, Kris Kringle ou Santa Claus, é um personagem lendário originário da cultura cristã ocidental que acredita-se trazer presentes para as crianças durante a noite na véspera de Natal de brinquedos e doces, ou carvão ou nada, dependendo se são "boas ou más".

Novo!!: Princípio de explosão e Papai Noel · Veja mais »

Silogismo disjuntivo

O silogismo disjuntivo, também conhecido historicamente como modus tollendo ponens, é uma forma de argumento simples, classifica-se válido, do tipo: Um exemplo cotidiano: Ele tem mais que 16 anos ou ele é criança.

Novo!!: Princípio de explosão e Silogismo disjuntivo · Veja mais »

Redireciona aqui:

Ex contradictione, Ex contradictione quodlibet, Ex contradictione sequitur, Ex contradictione sequitur quodlibet, Ex falso, Ex falso quodlibet, Ex falso sequitur, Ex falso sequitur quodlibet, Princípio da explosão.

CessanteEntrada
Ei! Agora estamos em Facebook! »