4 relações: Argumento, Axioma, Lista de regras de inferência, Proposição.
Argumento
Um argumento pode ser definido como uma afirmação acompanhada de justificativa (argumento retórico) ou como uma justaposição de duas afirmações opostas, argumento e contra-argumento (argumento dialético).
Novo!!: Regra de inferência e Argumento · Veja mais »
Axioma
Na lógica tradicional, um axioma ou postulado é uma sentença ou proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria.
Novo!!: Regra de inferência e Axioma · Veja mais »
Lista de regras de inferência
Regras de inferência são regras de transformação sintáticas que podem ser usadas para inferir uma conclusão a partir de uma premissa, para criar um argumento.
Novo!!: Regra de inferência e Lista de regras de inferência · Veja mais »
Proposição
Proposição é um termo usado em lógica para descrever o conteúdo de asserções.
Novo!!: Regra de inferência e Proposição · Veja mais »