Prática 02

1 outubro 2019, 13:00 • João Rasga

Resolução de exercícios sobre consequência semântica e embebimentos em lógica de primeira-ordem.