Formalização de proposições

Designa-se por formalização o processo de tradução de proposições expressas na linguagem natural (o Português, por exemplo) para a linguagem simbólica da lógica.  Este processo permite evidenciar a forma lógica das proposições. A determinação da forma lógica é indispensável se quisermos testar a validade dos argumentos de que trata a lógica. Para fazer os exercícios aqui propostos e consultar as soluções terá de clicar nas ligações indicadas abaixo.

Exercícios

Soluções

 

 

Deixe uma resposta

O seu endereço de email não será publicado. Campos obrigatórios marcados com *