Sumários
T_17
10 Dezembro 2021, 09:30 • Mário Jorge Edmundo
Regras de inferência para os quantificadores: eliminação do quantificador universal, introdução do quantificador existencial, exemplos de demonstrações. Eliminação do quantificador existencial, exemplo de uma demonstração, exemplo de uma demonstração errada.
Variáveis, fórmulas e sentenças.
9 Dezembro 2021, 10:30 • Maria João Antunes Dias Gouveia
Correcção do ex. 103.
T_16
7 Dezembro 2021, 10:30 • Mário Jorge Edmundo
Forma normal prenexa, fórmula universal, exemplo. Skolemização, exemplo. Skolemização e satisfazibilidade.