18 relações: Aristóteles, Contradição, Falácia, Implicação, Latim, Língua grega, Lógica, Lógica binária, Lógica proposicional, Lei do terceiro excluído, Método dedutivo, Modus tollens, Premissa, Princípio da não-contradição, Proposição, Tabela-verdade, Transliteração, Universidade Federal do Rio Grande do Norte.
Aristóteles
Aristóteles (Aristotélēs; Estagira, – Atenas) foi um filósofo e polímata da Grécia Antiga.
Novo!!: Reductio ad absurdum e Aristóteles · Veja mais »
Contradição
Na lógica clássica, uma contradição consiste numa incompatibilidade lógica entre duas ou mais proposições.
Novo!!: Reductio ad absurdum e Contradição · Veja mais »
Falácia
O termo falácia deriva do verbo latino fallere, que significa enganar.
Novo!!: Reductio ad absurdum e Falácia · Veja mais »
Implicação
Na lógica e na matemática, a implicação, ou condicional é a indicação do tipo "SE...ENTÃO", indicando que uma condição deve ser satisfeita necessariamente para que a outra seja verdadeira.
Novo!!: Reductio ad absurdum e Implicaçã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!!: Reductio ad absurdum e Latim · Veja mais »
Língua grega
O grego (ελληνικά, transl. Eliniká, ou ελληνική γλώσσα, AFI:, lit. "língua helênica") é uma língua de um ramo independente da família linguística indo-europeia.
Novo!!: Reductio ad absurdum e Língua grega · 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!!: Reductio ad absurdum e Lógica · Veja mais »
Lógica binária
Na programação de computadores, a lógica binária, ou bitwise operation opera em um ou mais padrões de bits ou números binários no nível de seus bits individuais.
Novo!!: Reductio ad absurdum e Lógica binária · Veja mais »
Lógica proposicional
Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como teoremas do sistema formal.
Novo!!: Reductio ad absurdum e Lógica proposicional · Veja mais »
Lei do terceiro excluído
Em lógica, a lei do terceiro excluído (em latim, principium tertii exclusi ou tertium non datur) é a terceira de três clássicas Leis do Pensamento.
Novo!!: Reductio ad absurdum e Lei do terceiro excluído · Veja mais »
Método dedutivo
Método dedutivo o raciocínio dedutivo é a maneira de tirar inferências dedutivas.
Novo!!: Reductio ad absurdum e Método dedutivo · Veja mais »
Modus tollens
Modus tollens (Latim: modo que nega por negação) ou negação do consequente, é o nome formal para a prova indireta, também chamado de modo apagógico.
Novo!!: Reductio ad absurdum e Modus tollens · Veja mais »
Premissa
Em Lógica, uma premissa é uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência.
Novo!!: Reductio ad absurdum e Premissa · Veja mais »
Princípio da não-contradição
Na Lógica clássica, o princípio da não-contradição (ou o princípio da contradição, ou a lei da não-contradição, ou a lei da contradição), afirma que duas afirmações contraditórias não podem ser verdadeiras ao mesmo tempo, exemplo: As duas proposições "A é B" e "A não é B" são mutuamente exclusivas, dito de outra forma: "nada pode ser e não ser simultaneamente" O princípio da não-contradição foi (primeiramente) formulado por Aristóteles e diz-nos que uma proposição verdadeira não pode ser falsa e uma proposição falsa não pode ser verdadeira.
Novo!!: Reductio ad absurdum e Princípio da não-contradição · Veja mais »
Proposição
Proposição é um termo usado em lógica para descrever o conteúdo de asserções.
Novo!!: Reductio ad absurdum e Proposição · Veja mais »
Tabela-verdade
Tabela-verdade, tabela de verdade ou tabela veritativa é um tipo de tabela matemática usada em lógica para determinar se uma fórmula é válida ou se um sequente é correto.
Novo!!: Reductio ad absurdum e Tabela-verdade · Veja mais »
Transliteração
Transliteração é o processo de mapeamento de um sistema de escrita em outro.
Novo!!: Reductio ad absurdum e Transliteração · Veja mais »
Universidade Federal do Rio Grande do Norte
A Universidade Federal do Rio Grande do Norte (UFRN) é uma instituição de ensino superior pública brasileira, sob a forma de autarquia federal vinculada ao Ministério da Educação (MEC), com sede na cidade de Natal, no Estado do Rio Grande do Norte.
Novo!!: Reductio ad absurdum e Universidade Federal do Rio Grande do Norte · Veja mais »