1) As dez regras básicas de inferência são abrangentes, forn...
As dez regras básicas de inferência são abrangentes, fornecendo provas para todas as formas válidas na linguagem da lógica proposicional. Apesar disso, a utilidade de outras regras adicionais reside em sua capacidade de simplificar as provas, embora não permitam a demonstração de algo novo além do que já é possível pelas dez regras fundamentais. Desta forma, baseado nas Regras Derivadas estudadas em nosso livro, analise cada uma das sentenças a seguir:
