Em matemática, um ponto de exclamação (!) é usado para representar fatores. Em o número da quina de hoje geral, n! representa n fatorial, e isso significa que queremos multiplicar todos os inteiros de n para baixo para 1 juntos. A imagem mostra esta fórmula. Usamos a notação 5! para representa 5 Factorial.

Em lógica matemática, um sistema lógico tem a propriedade de solidez se:toda fórmula que pode ser provada no sistema é logicamente válida em o número da quina de hoje relação à semântica do sistema. sistema sistemaNa maioria dos casos, isso se resume às suas regras que têm a propriedade de preservar a Verdade.