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 »