Next: Termos e Predicados Up: Lógica e Fundamentos da Previous: Problemas

Cálculo de Predicados

Termos e predicados. Quantificadores. Linguagens formais. Expressões proposicionais.

Jorge Nuno Silva (Dep. Mat. FCUL)
Wed Jun 4 19:06:16 MET DST 1997