Pabadas

Lógica simbólica
Lógica simbólica es el área de matemáticas cuál estudia las características puramente formales de cadenas de símbolos. El interés en esta área suelta a partir de dos fuentes. Primero, los símbolos usados en lógica simbólica se pueden considerar como representación de las palabras usadas en filosófico lógica. En segundo lugar, las reglas para los símbolos de manipulaciónencontrados en lógica simbólica se pueden poner en ejecución en a máquina que computa.
La lógica simbólica se divide generalmente en dos subcampos, lógica del propositional y lógica del predicado. Áreas matemáticas modernas que se presentan fuera de lógica formal se agrupan bajo título lógica matemática.
Todos estamos familiarizados con la lógica y con la idea de que algunas personas poseen una"mentalidad lógica" mientras que otras no. ¿Cómo podemos entonces llegar a ser lógicos? No siempre resulta sencillo seguir razonamientos o argumentos extensos para obtener conclusiones válidas. El propósito de la lógica simbólica consiste en establecer un lenguaje simbólico artificial que se pueda utilizar para simplificar los argumentos lógicos complicados
Tenemos que llegar a reponder esta graninterrogante “¿Cómo podemos llegar a ser más lógicos?''. Se pretende aplicar la lógica no solamente en el trabajo formal ordinario sino también en la vida diaria. Es necesario poder comunicarse de manera inteligente con los demás; se requiere adquirir capacidad para analizar los argumentos de nuestros legisladores y dirigentes; necesitamos ser consumidores inteligentes para analizar las afirmaciones delos anunciantes. Bien sea que nos agrade o no, la lógica es una parte importante del mundo que nos rodea, y en este libro sentaremos las bases que nos ayudarán a ser más "lógicos".
El cálculo de proposiciones
El cálculo proposicional es también llamado, lógica proposicional, calculo sentencial, álgebra Booleana. El cálculo proposicional, junta dos cálculos de predicados con la constitución desímbolos lógicos.
La Lógica Matemática surge como una disciplina matemática cuyo objeto de estudio es la lógica del razonamiento matemático humano (y actualmente también de otras formas de razonamiento.) Requiere de expresar la lógica en términos susceptibles de ser representados y manejados por un computador.
La lógica proposicional es la parte de la lógica que estudia las formas en que serelacionan unas proposiciones con otras y, sobre todo, la relación que se da entre las proposiciones que componen un razonamiento. Uno de los rasgos que distinguen al hombre de sus antepasados antropoides es el uso del lenguaje. Y un rasgo típico del lenguaje humano es el uso de argumentos.
Un argumento es un segmento lingüístico de cierta complejidad en el cual, de la posición de trozos o subsegmentosiniciales, se sigue necesariamente la posición de un trozo o subsegmento final.
Las principales partes o unidades lingüísticas que integran un argumento son los enunciados. Unenunciado es un segmento lingüístico que tiene un sentido completo y que puede ser afirmado con verdad o falsedad. Los enunciados iniciales de un argumento reciben el nombre de premisas, y el enunciado final eldeconclusión.
El empleo de argumentos tiene lugar tanto en la vida cotidiana como en el ejercicio de las tareas científicas. La utilidad de este instrumento lingüístico es la siguiente: su empleo permite pasar, por la sola reflexión, de la aceptación de unos enunciados a la aceptación de otros. Con ello queda rebasado el ámbito del conocimiento inmediato y de algún modo ampliada nuestra información sobre elmundo.
La lógica es la ciencia que se dedica al cálculo de argumentos; es, como se afirma desde Aristóteles, la teoría del razonamiento. El ideal del que parte es que, si partimos de premisas que son verdaderas, y utilizamos reglas adecuadas para pasar de unos argumentos a otros, la conclusión que extraigamos será indudablemente verdadera. Una forma más sencilla de expresar esto es decir quede...