T21_16

15 Abril 2019, 10:00 • Mário Jorge Edmundo

Consequência lógica, compacidade e consequência lógica, completude e consequência lógica, argumentos válidos e consequência lógica, demonstrações e sistemas formais de demonstração, correção e completude de sistemas formais de demonstração. Um sistema formal de demonstração (dedução natural), as regras de inferência.