Exercicios de Lógica Proposicional

Estes exercícios deverão ser submetidos em um arquivo pdf, preferencialmente digitado em Latex, mas pode ser o scan ou a foto de um documento manuscrito, desde que esteja legível.  A submissão deve ser feita até segunda-feira, 17/09, 22h.

É importante que você indique as regras de inferência e as propriedades lógicas usadas na resolução.

1.  (7.2 Russel and Norvig) Dada a sentença a seguir, você poderia demonstrar que o unicórnio é mítico? E que é mágico? E que tem chifre?

  • Se o unicórnio é mítico, então é imortal; porém, se ele não é mítico, então é um mamífero mortal. Se o unicórnio é imortal ou um mamífero, então ele tem chifre. O unicórnio é mágico se tem chifre.

2. (7.6 Russel and Norvig) Demonstre ou encontre um contraexemplo para cada uma das seguintes asserções (|= indica consequência lógica, AND indica o conector lógico "e", e "OR" indica o conector lógico "ou"):

a) Se α|= γ ou β|= γ (ou ambos) então (α AND β) |= γ

b) Se α|= (β AND γ) então α|= β e α|= γ

c)  Se α|= (β OR γ) então α|= β ou α|= γ (ou ambos)

Gabarito

 

e-Disciplinas - Ambiente de apoio às disciplinas da USP