Este programa em Haskell trata de proposições decidíveis, ou seja, proposições cuja verdade ou falsidade é possível de serem estabelecidas. Ele oferece uma forma simples e eficiente de trabalhar com proposições decidíveis em sua aplicação. 