Diferencia entre revisiones de «Lógica matemática»
Apariencia
Contenido eliminado Contenido añadido
Sin resumen de edición |
Sin resumen de edición |
||
Línea 1: | Línea 1: | ||
{{Fusionar|Lógica matemática}} |
{{Fusionar|Lógica matemática}} |
||
La '''lógica formal''' es la parte de la [[lógica]] que, ase un punto determinado de la logica moderna ya que en esta se puede napresiar cosas muy diferentes como el logico mas grande de todo el universo del año 2000 a.c jorge paz y |
La '''lógica formal''' es la parte de la [[lógica]] que, ase un punto determinado de la logica moderna ya que en esta se puede napresiar cosas muy diferentes como el logico mas grande de todo el universo del año 2000 a.c jorge paz y diego beserra ello existe esta tan semejante |
||
La lógica formal no debe ser confundida con la [[lógica matemática]], antes llamada [[lógica simbólica]], que es una subdisciplina de la lógica formal. |
La lógica formal no debe ser confundida con la [[lógica matemática]], antes llamada [[lógica simbólica]], que es una subdisciplina de la lógica formal. |
Revisión del 16:46 26 oct 2016
La lógica formal es la parte de la lógica que, ase un punto determinado de la logica moderna ya que en esta se puede napresiar cosas muy diferentes como el logico mas grande de todo el universo del año 2000 a.c jorge paz y diego beserra ello existe esta tan semejante
La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica simbólica, que es una subdisciplina de la lógica formal.
Tipos de lógica formal
Dentro de la lógica formal clásica podemos distinguir:
Lógica de enunciados | Lógica de predicados | Lógica de clases | Lógica de relaciones |
---|---|---|---|
Estudia la validez de los razonamientos teniendo en cuenta únicamente el valor de verdad (verdadero o falso) de cada enunciado tomando los enunciados en bloque sin analizarlos previamente. | Analiza la estructura interna de los enunciados atribuyendo una propiedad al sujeto. | Al contrario de la lógica de predicados, esta atribuye individuos y clases a las características. | Incorpora a su lenguaje los elementos, símbolos y reglas que son necesarios para expresar un enunciado. |