2. 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 seguir: I. Silogismo Hipotético II. Modus Tollens III. Tautologia IV. Comutatividade Assinale a alternativa CORRETA:
