¿Qué es la Lógica?
La lógica es parte de la filosofía, estudia principios de la demostración e inferencia valida. En si la lógica valida los conceptos examinado su composición, determina las condiciones.
Ejemplo
"Todos los hombres son mortales. Todos los griegos son hombres. Por lo tanto, todos los griegos son mortales'. Las dos primeras frases serían las premisas y la tercera la conclusión."
La lógica utilizamos en todos los sentidos ya que existe diferentes tipo:
- Lógica formal
- Lógica informal
- Lógica matemática
- Lógica computacional
- Lógica simbólica
- Lógica filosófica
- Lógica no clásica
- Lógica modal.
Lógica Computacional: Es una disciplina que estudia la aplicación de la Lógica Formal para la presentación computacional de argumentos, las técnicas de deducción automática o asistida por computadora, los fundamentos relacionados con validez y completes.
No hay comentarios.:
Publicar un comentario