Sistema Lógico

Un conjunto especificado de símbolos sintácticos, reglas de formación, axiomas y reglas de inferencia (o sus contrapartes informales) que determina cómo se forman las proposiciones y qué derivaciones o consecuencias cuentan como válidas dentro de ese sistema; proporciona los criterios formales que distinguen la inferencia válida de la inválida según su semántica o teoría de la prueba elegida.