0 évaluation0% ont trouvé ce document utile (0 vote)
31 vues16 pages
Jean-Yves Beziau
OBJETIVOS: Apresentar os principais conceitos e técnicas da lógica clássica de primeira ordem.
CONTEÚDO PROGRAMÁTICO:
1. Lógica proposicional: tabelas de verdade, árvores de derivação, equivalências lógicas.
2. Lógica de predicados: quantificadores, estrutura dedutiva, semântica de modelos.
3. Teoria dos modelos: completude, compacidade, incompletude, teoremas de Löwenheim-Skolem
Jean-Yves Beziau
OBJETIVOS: Apresentar os principais conceitos e técnicas da lógica clássica de primeira ordem.
CONTEÚDO PROGRAMÁTICO:
1. Lógica proposicional: tabelas de verdade, árvore…