Exercícios de formalização de proposições

22 Setembro 2021, 18:30 • Ricardo Lopes Coelho

 Operadores lógicos mais úteis à formalização de proposições.

Proposições: formalização e discussão da validade das proposições com base na formalização.

Análise e transformação de paradoxos de Zenão.