Escolar Documentos
Profissional Documentos
Cultura Documentos
19/8/2008
Referncias
[CGF] Captulo 2 [BL] Captulo 2
19/8/2008
Introduo
Lgica de Primeira Ordem (ou Clculo dos Predicados)
expande lgica sentencial para capturar discurso (matemtico) mais complexo
variveis e quantificadores smbolos predicativos e funes
19/8/2008
19/8/2008
19/8/2008
19/8/2008
19/8/2008
19/8/2008
19/8/2008
10
19/8/2008
11
19/8/2008
12
19/8/2008
13
19/8/2008
14
19/8/2008
15
19/8/2008
16
19/8/2008
17
19/8/2008
18
19/8/2008
19
19/8/2008
20
19/8/2008
21
19/8/2008
22
19/8/2008
23