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álidabet7 com ratinhobet7 com ratinho 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.