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

11 Outubro 2021, 10:00 • 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.