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!
 

Antecedente (lógica)

Índice Antecedente (lógica)

Um antecedente é a primeira metade de uma proposição hipotética, sempre que a cláusula "se" precede a cláusula "então".

6 relações: Consequente, Contraposição, Exportação (lógica), Implicação material (regra de inferência), Lista de falácias, Transposição (lógica).

Consequente

Um consequente é a segunda metade de um proposição condicional. Na forma padrão desta proposição é a parte que se segue ao "então".

Novo!!: Antecedente (lógica) e Consequente · Veja mais »

Contraposição

Em lógica, contraposição é uma lei, que diz que, para toda sentença condicional, há uma equivalência lógica entre a mesma e sua contrapositiva.

Novo!!: Antecedente (lógica) e Contraposição · Veja mais »

Exportação (lógica)

Exportação é uma regra de substituição válida na lógica proposicional.

Novo!!: Antecedente (lógica) e Exportação (lógica) · Veja mais »

Implicação material (regra de inferência)

Na lógica proposicional, implicação material  é uma regra de substituição válida que permite que uma sentença condicional seja substituída por uma disjunção em que o antecedente é negado.

Novo!!: Antecedente (lógica) e Implicação material (regra de inferência) · Veja mais »

Lista de falácias

Uma falácia é um raciocínio que é logicamente incorreto, prejudica a validade lógica de um argumento, ou é visto como instável.

Novo!!: Antecedente (lógica) e Lista de falácias · Veja mais »

Transposição (lógica)

Na lógica proposicional, a transposição é uma regra de substituição válida que permite trocar o antecedente pelo consequente de um enunciado condicional em uma prova lógica se eles estão ambos negados.

Novo!!: Antecedente (lógica) e Transposição (lógica) · Veja mais »

CessanteEntrada
Ei! Agora estamos em Facebook! »