Páginas

quarta-feira, 24 de novembro de 2010

Prove as fórmulas abaixo

No exercício em anexo vocês devem provar a conclusão pedida a partir das fórmulas dadas.

Exercício de dedução natural.doc

As respostas estão aqui:

Exercício de dedução natural [Gabarito].doc

quarta-feira, 17 de novembro de 2010

Exercícios sobre Tabela de Verdade e Tablô Semântico

Neste exercício vocês devem construir a tabela de verdade e fazer o tablô semantico para cada uma das fórmulas dadas, a fim de descobrir se elas são tautologias, contingências ou contradições.

Exercícios - Tabela de verdade e Tablô.doc

O gabarito segue junto. Qualquer dúvida me procurem.

Exercícios - Tabela de verdade e Tablô [Gabarito].doc

IMPORTANTE: Amanhã (18/11) haverá monitoria no horário antes da aula de Lógica I, de 12:00h às 13:40h.

segunda-feira, 1 de novembro de 2010

Formalize as Sentenças

Mais algumas sentenças para vocês formalizarem do modo como fizemos em sala:

  1. O mar é azul e o céu é azul.
  2. Ou Pedro casa com Maria ou Pedro casa com Joana.
  3. O Brasil será campeão e a Argentina será vice, caso a Itália perca o próximo jogo.
  4. Se você fumar ou beber terá problemas cardiovascularese viverá menos.
  5. Se Deus é onipotente e bom, este é o melhor dos mundos possíveis:
  6. Se eu ganhar na loteria, comparei um carro ou uma casa.
  7. Se eu ganhar na Loto casarei com Alice, ou eu casarei com Beatriz (ambígüa!)
  8. Se João não gosta de samba, bom sujeito não é.
  9. Se João não gosta de samba, bom sujeito não é: ele é ruim da cabeça ou doente dos pés.
  10. Se o Brasil for campeão e a Argentina for vice, Maradona se suicidará.
  11. Se o Brasil for campeão, todos comemorarão e amanha será feriado.
  12. Se Pedro casar com Maria, Maria será feliz ou Pedro será feliz.
  13. Se Pedro casar com Maria, nem Pedro nem Maria nem Joana serão felizes.
  14. Se penso existir ou se não penso existir, de qualquer modo existo.
  15. Se quero encontrar, não encontro e se não quero encontrar, encontro.
  16. Pedro e Maria foram ao cinema e por isso não estão em casa.
Publicarei as respostas em breve!

AH! AQUI ESTÃO ELAS: Formalize as sentenças [Respostas].doc