##  [Sistema Lógico](/es/node/71472) 

  ##  [Sistema Lógico](https://humanitites.quantumdictionary.io/es/node/71473) 

  

 [![Humanities & Arts Dictionary](/sites/default/files/styles/large/public/2026-01/Humanities%20%26%20Arts.png.webp?itok=4SMNHqFS)](/topic-specific-dictionaries/humanities-arts)



**Humanities & Arts Dictionary**

 







 

 

 

 



 

 

 

 

Definición

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.