Apesar de boa parte do desenvolvimento da lógica ter se dado a partir do estudo das relações entre premissas e conclusões, não podemos negligenciar a íntima relação existente entre a lógica e a matemática, especialmente um ramo da matemática denominado matemática discreta. A matemática discreta aborda fundamentalmente, segundo PICADO (2008), três tipos de problemas que surgem no estudo de conjuntos e estruturas discretas, que são : Escolha uma: a. Problemas de lógica, problemas contagem e problemas binários; b. Problemas de contagem, problemas booleanos e problemas existência; c. Problemas de existência, problemas booleanos e problemas binários; d. Problemas de lógica, problemas booleanos e problemas binários; e. Problemas de existência, problemas de contagem e problemas de otimização;