Inferência

O que é simplificação na regra de inferência? O que é simplificação na regra de inferência?Na lógica proposicional, a eliminação da conjunção (també...