Derivações

3 Dezembro 2015, 14:00 • Maria Adriana Sequeira da Silva Graça

Demonstrações. Introdução de predicados binários e quantificação dupla.