sexta-feira, 30 de setembro de 2011

Problema da semana - lógica

1.
Demonstre que o provérbio português
«depressa e bem não há quem»
é logicamente distinto de
«não há quem (faça) depressa e não há quem (faça) bem».

2.
2.1. Formalize o seguinte argumento:
«Se liberdade é fazer tudo o que apetece, então é legítimo uma vontade escravizar outra. Não é legítimo uma vontade escravizar outra. então, liberdade não é fazer tudo o que nos apetece.

2.2 Mostre que o argumento é uma tautologia (a proposição composta é VERDADEIRA em todas as CIRCUNSTÂNCIAS)

Sem comentários:

Enviar um comentário