A lógica matemática é uma subárea que considera a análise de proposições lógicas, com o propósito de verificar se uma afirmação é verdadeira ou falsa.

A lógica matemática é uma subárea que considera a análise de proposições lógicas, com o propósito de verificar se uma afirmação é verdadeira ou falsa. Além disso, proposições podem ser simples ou compostas. No caso das compostas, elas devem ser unidas com operadores lógicos. Considere as seguintes proposições simples e compostas abaixo. Considere também o sinal de “>” significando “maior que”.

( ) Não é verdade que 11 é um número par

( ) Não é verdade que 11 é um número primo

( ) (2 + 4 = 6) e (1 > 3)

( ) (2 + 2 = 4) ou (3 + 3 = 7)

( ) Brasília é a capital do Brasil ou 2² = 5