Lógica de primeira ordem

Olá para todos.

Vamos começar a segunda parte do curso com a sintaxe e a semântica da lógica de primeira ordem.

Para relembrar os conceitos vistos em Lógica 1 e 2, estudaremos as apostilas abaixo:

http://dl.dropbox.com/u/5959592/stx_log_pred.pdf

http://dl.dropbox.com/u/5959592/sem_log_pred.pdf