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.