Lgica: La ciencia

que se basa en las leyes, modalidades y formas del conocimiento cientfico se conoce bajo el nombre de lgica. Se trata de una ciencia de carcter formal que carece de contenido ya que hace foco en el estudio de las alternativas vlidas de inferencia. Es decir, propone estudiar los mtodos y los principios adecuados para identificar al razonamiento correcto frente al que no lo es. Tiene como objetivo el reconocimiento de paradojas y falacias, as como ser un recurso eficaz para construir los discursos de forma correcta.

Lgica matemtica:
El razonamiento lgico se emplea en Matemticas para demostrar teoremas. La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lgico para realizar cualquier actividad.

La lgica proposicional:
Permite representar y manipular aserciones sobre el mundo que nos rodea. La lgica proposicional permite el razonamiento, a travs de un mecanismo que primero evala sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales. La lgica proposicional, permite la asignacin de un valor verdadero o falso para la sentencia completa, no tiene facilidad par analizar las palabras individuales que componen la sentencia. Lgica cuantificacional: Es llamada tambin lgica de predicados o lgica de primer orden.

La lgica cuantificaciones estudia la composicin ntima de las proposiciones, utiliza nuevos smbolos, leyes y mtodos para establecer la validez de los razonamientos. Esta lgica estudia de manera ms detallada los predicados a travs del uso de cuantificadores que expresan cantidad (todos o algunos ).

PROPOCISION:
Exposicin de una idea o un plan para que se conozca y se acepte, entenderemos el contenido comn de oraciones declarativas sinnimas. Segn este sentido, dos oraciones expresarn la misma proposicin si tienen el mismo significado. Otra interpretacin considera como una proposicin al conjunto de los mundos posibles en los que es verdadera, o una funcin de los mundos posibles en valores de verdad.

Conectivos Lgicos
Son elementos que sirven de enlaces entre las propocisiones para formar otras ; una conectiva lgica, o simplemente conectiva, es un smbolo que se utiliza para conectar dos frmulas, de modo que el valor de verdad de la frmula compuesta dependa del valor de verdad de las frmulas componentes.

Tabla de la verdad :
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposicin compuesta, para cada combinacin de valores de verdad que se pueda asignar a sus componentes Circuito Lgico : Circuito Lgico es aqul que maneja la informacin en forma binaria, o sea con valores de "1" y "0".

Notacin cientfica:

Conversiones: