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

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.

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

Exercício de Lógica Proposicional

Este é o exercício que nós corrigiremos e discutiremos nesta quinta-feira, 21/10.

Exercícios Lógica Proposicional.doc

Tragam suas dúvidas!

AS RESPOSTAS ESTÃO AQUI: Exercícios Lógica Proposicional [Respostas].doc

Data da 2ª Chamada - 21/10

Conforme combinado hoje a 2ª chamada da prova será na próxima quinta-feira, dia 21/10, a partir das 15:30h, isto é, no segundo tempo de aula. No primeiro tempo, nós resolveremos alguns exercícios sobre Lógica Proposicional que eu publicarei em breve aqui no Blog.

Para todos os alunos, mas enfaticamente para os que farão a prova, não se esqueçam de que temos a monitoria todas as segundas as 08:40h, nas mesas lá no pátio do IFCS!

** Informações **

Nesta quinta-feira (14/10) aula normal - devolução de provas e início de assunto importante.

A segunda chamada sera marcada em breve.

Respostas dos Exercícios

Amigos!

Eis abaixo as respostas dos exercícos do livro e da lista:

Gabarito Lista de Exercicios I.doc


Respostas Exercícios do Livro.doc

Qualquer dúvida me procurem amanhã ou então na aula de quinta.

Primeira lista de exercícios

Conforme o prometido, segue abaixo o link para vocês baixarem a lista de exrecícios:

Lista de Exercicios I.doc

Tentem, também, resolver os seguintes exercícios do livro do Guido:

pág. 62 - exercícios 1, 2 e 3
pág. 83 - exercícios 1, 2, 4 e 5

As respostas eu publicarei em breve.
Se encontrarem alguma dúvida, não deixem de me procurar!

Livros de lógica

Bem, navegando pela internet encontrei dois livros que estão em nossa bibliografia secundária, são eles:

Introdução à Lógica - Cezar A. Mortari



Filosofia das Lógicas - Susan Haack

2010 / 2

Aí vamos nós!!!