Consecuencia
Clasificado en Historia
Escrito el en 
español con un tamaño de 4,38 KB
Consecuencia semántica
Una manera estándar de caracterizar a la noción de consecuencia lógica es a través de la teoría de modelos. O dicho más precisamente, cuando toda interpretación que hace verdaderas a las premisas también hace verdadera a la conclusión. 1 Es decir, cuando todo modelo de las premisas es también un modelo de la conclusión. 1
Cuando una conclusión A es una consecuencia semántica de un conjunto de premisas Γ en un lenguaje formal L, se escribe:
Consecuencia sintáctica
Otra manera de caracterizar a la relación de consecuencia lógica es a través de la teoría de la demostración. Según esta estrategia, una conclusión es una consecuencia lógica de las premisas cuando existe una demostración de la conclusión a partir de las premisas. 1 Es decir cuando, usando solamente las premisas, los axiomas y las reglas de inferencia permitidas, es posible construir una derivación de la conclusión.
Cuando una conclusión A es una consecuencia sintáctica de un conjunto de premisas Γ en un sistema formalS, se escribe:
Identificación de los peligros
Bajo Riesgo = 1 – 6 (verde)
Medio Riesgo = 8 – 9 (amarillo)
Alto Riesgo = 12 – 16 (rojo)