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, 24 de novembro de 2010
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.
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:
AH! AQUI ESTÃO ELAS: Formalize as sentenças [Respostas].doc
- O mar é azul e o céu é azul.
- Ou Pedro casa com Maria ou Pedro casa com Joana.
- O Brasil será campeão e a Argentina será vice, caso a Itália perca o próximo jogo.
- Se você fumar ou beber terá problemas cardiovascularese viverá menos.
- Se Deus é onipotente e bom, este é o melhor dos mundos possíveis:
- Se eu ganhar na loteria, comparei um carro ou uma casa.
- Se eu ganhar na Loto casarei com Alice, ou eu casarei com Beatriz (ambígüa!)
- Se João não gosta de samba, bom sujeito não é.
- Se João não gosta de samba, bom sujeito não é: ele é ruim da cabeça ou doente dos pés.
- Se o Brasil for campeão e a Argentina for vice, Maradona se suicidará.
- Se o Brasil for campeão, todos comemorarão e amanha será feriado.
- Se Pedro casar com Maria, Maria será feliz ou Pedro será feliz.
- Se Pedro casar com Maria, nem Pedro nem Maria nem Joana serão felizes.
- Se penso existir ou se não penso existir, de qualquer modo existo.
- Se quero encontrar, não encontro e se não quero encontrar, encontro.
- Pedro e Maria foram ao cinema e por isso não estão em casa.
AH! AQUI ESTÃO ELAS: Formalize as sentenças [Respostas].doc
Assinar:
Postagens (Atom)