Representação do Conhecimento e Argumentação (LCP)

Material:

- Enigmas sobre cavaleiros e cavilosos, de Smullyan, versão Set00.

Soluções aos enigmas do Smullyan:

- Respostas, usando LCP, da maior parte dos quebra-cabeças sobre cavaleiros e cavilosos.

- Avaliação 00: enunciado - gabarito 

- Avaliação 01: enunciado - gabarito 

- Avaliação 02: enunciado - gabarito 

- Avaliação 03: enunciado - gabarito 

- Avaliação 04: enunciado - gabarito

- Avaliação 05: enunciado - gabarito

- Avaliação 06: enunciado - gabarito

- Avaliação 07: enunciado - gabarito