Lógica es una ciencia formal que INTRODUCCIÓN A LA LÓGICA
estudia la estructura o formas del
pensamiento humano Tipos de conectores: Aditivos, Adversativos, Causales, Pensar y razonar no es lo mismo, son dos Consecutivos, Comparativos, procesos mentales separados por diferencias La lógica proposicional es un sistema Modales, Secuenciales, Un argumento es un razonamiento que se clave. formal cuyos elementos más simples Reformativos emplea para demostrar o probar que lo que representan proposiciones, y cuyas se dice o afirma es cierto, o para 1- Pensar es un proceso consciente o constantes lógicas, llamadas convencer al otro de algo que aseveramos inconsciente, mientras que razonar solo se conectivas, representan operaciones o negamos. realiza de forma consciente. sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad. En un argumento válido, las premisas implican la conclusión, pero esto no es Verdad Validez necesario para que una proposición La verdad es un La validez a los sea una premisa concepto relacionado argumento y no a Un enunciado es una palabra o conjunto a las proposiciones, las proposiciones de palabras comprendidas entre dos no a los argumentos. pausas, es el mensaje que se comunica Una proposición simple es aquella que no en un grupo fónico, o conjunto de signos Una proposición lógica es todo puede descomponerse en partes que, a su lingüísticos enunciado que tiene un valor de vez, sean proposiciones. verdad: verdadero (V) o falso (F), Las proposiciones simples se denominan Los procesos sintácticos, destinados a analizar pero no ambos a la vez y Los también atómicas las estructuras de las oraciones y el papel que símbolos que usaremos en lógica cada una de las palabras juega en la oración- y para representar proposiciones, en los procesos semánticos o de extracción del Tipos de Enunciados son letras mayúsculas Una fórmula bien formada, es una significado y posterior integración en la memoria. declarativos? Exclamativos. tales como «P», «Q», «R», «S», cadena de caracteres o palabra Afirman una idea con «A», y «B». generada según una gramática formal a énfasis. ...Interrogativos. partir de un alfabeto dado. Plantean una pregunta y por lo tanto esperan una Los conectores lógicos son palabras respuesta del interlocutor o expresiones que sirven para (excepto de que se trate de relacionar las ideas dentro de un una pregunta retórica). texto