IV. Lógica de Predicados - 1
4 Dezembro 2020, 14:00 • António José Teiga Zilhão
A. Introdução à Lógica de Predicados.
B. O Cálculo de Predicados.
1. Vocabulário;
2. Sintaxe;
2.1. Regras de Formação.
4 Dezembro 2020, 14:00 • António José Teiga Zilhão
A. Introdução à Lógica de Predicados.
1. Vocabulário;
2. Sintaxe;
2.1. Regras de Formação.