Regras de Inferência Como gerar na Lógica Proposicional formas válidas de argumento? Regras de Inferência permitem gerar formas de argumentos numa série.
