next up previous
Next: Problemas Up: Argumentos Previous: Notas

Tautologias Úteis

  1. (Modus Ponens)
  2. (Modus Tollendo Tollens)
  3. (Modus Tollendo Ponens)
  4. (Simplificação)
  5. (Adição)
  6. (Adjunção)
  7. (Silogismo hipotético)
  8. (Hipótese Alternativa)
  9. (Absurdo)
  10. (Terceiro Excluído)
  11. (Contradição)
  12. (Comutatividade)
  13. (Associatividade)
  14. (Distributividade)
  15. (De Morgan)
  16. (Dupla Negação)
  17. (Regras para o Condicional)
  18. (Regras para o Bicondicional)
  19. (Idempotência)
  20. (Contrarecíproca)
  21. (Inport-Export)
  22. (Absorção)

Jorge Nuno Silva (Dep. Mat. FCUL)
Wed Jun 4 19:06:16 MET DST 1997