Avalia c ao 2 de L ogica para Computa c ao Campus de Sorocaba da UFSCar Prof.

Jos e de Oliveira Guimar aes A nota desta avalia ca o n ao conta para a nota nal.

1. Queremos provar que a f ormula A e consequ encia l ogica de um conjunto de f ormulas. Cite tr es maneiras diferentes de se fazer isto. Justique detalhadamente cada uma delas. 2. Como voc e pode utilizar alguns fatos b asicos da l ogica, como AB e V se A e F , para faciliar a constru ca o da coluna de resultados de tabelas verdade? Voc e n ao precisaria fazer a tabela toda, apenas aquelas colunas que interessam para o resultado nal. 3. Na tabela verdade da f ormula (A B C ) (C D E F ) D (B G E ) cont em algum V na coluna de resultados? Justique sem fazer a tabela verdade. 4. Sendo = {A B, C A B, C A, C A}, podemos armar que obrigatoriamente o algoritmo da resolu c ao na sua resposta. A B ? Utilize