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 roulette grand jeu hx relação à semântica do sistemas. processo
sistemaNa maioria dos casos, isso se resume às suas regras que têm a propriedade de preservar
a Verdade.