Tema: Teorias, definições, teoremas e demonstrações
20 Outubro 2016, 11:30 • Mário Jorge Edmundo
Teorias: objectos e relações de teorias; axiomas, objectos primitivos e relações primitivas, definições implícitas; definições explicitas; teoremas; demonstrações. Teoremas e implicações lógicas; o que é uma demonstração de um teorema.