ACTIVIDAD Por qu la lgica es un SAF?

La lgica examina la validez de los argumentos independientemente

del contenido especfico , de la lengua y expresin utilizada. Entonces decimos que el SAF es el Sistema Axiomatico Formal Sistema: es un conjunto de partes o elementos, organizadas y relacionadas que interactan entre s para lograr un objetivo. Axiomatico: consiste en aprobar algn argumento si pruebas ciertas

proposiciones. Formal: se dedica al estudio de la inferencia mediante la construccin de lenguajes formales por medio de un trato, palabra, razon, etc. La idea de estas construcciones es que capturen las caractersticas esenciales de las inferencias vlidas en los lenguajes naturales y permiten realizar demostraciones rigurosas sobre ellas. sus caractersticas: Consistencia: Un sistema tiene la propiedad de ser consistente cuando no es posible deducir una contradiccin dentro del sistema. Es decir, no es posible llegar a una contradiccin.. Independencia: Se puede cambiar la estructura datos almacenados, sin afectarlos. Completitud : Propiedad de un sistema lgico por la que cualquier expresin cerrada es derivable dentro del mismo sistema Una vez entendido estos conceptos bsicos podemos decir que la lgica es un SAF porque cumple con cada concepto del sistema axomatico formal. Es decir, la lgica es consistente porque no llega a contradecirse, independiente por que puede cambiar de estructura sin afectar la informacin final completa porque no necesita de otro sistema para lograr un objetivo.