Trabalha proposições, tabelas-verdade, quantificadores, equivalências e métodos de demonstração. Essas ferramentas sustentam algoritmos, circuitos, bancos de dados e verificação de programas.
