A lógica matemática analisa determinada proposição buscando identificar se representa uma afirmação verdadeira ou falsa. As proposições são palavras ou símbolos que expressam um pensamento com um sentido completo e indicam afirmações de fatos ou de ideias. A proposição completa “∼ (A ⋀ ∼ B)” é considerada uma: