Title | Introducción a la Lógica Proposicional |
---|---|
Author | kathya granados |
Course | Lógica matemática (lógicas no clásicas) |
Institution | Universidad de Guadalajara |
Pages | 2 |
File Size | 66.6 KB |
File Type | |
Total Downloads | 56 |
Total Views | 127 |
Introducción a la lógica proposicional, ¿A qué llamamos lógica proposicional?
Concepto de Lógica Formal. Pensamiento: contenido y forma.
Analiza el documento anexo para ir delimitando los conceptos centrales de la Lógica...
Introducción
a
la
Lógica
Proposicional ¿A qué llamamos lógica proposicional? La lógica proposicional estudia las variables proposicionales o sentencias lógicas, sus posibles implicaciones, evaluaciones de verdad y en algunos casos su nivel absoluto de verdad. Algunos autores también la identifican con la lógica matemática o la lógica simbolice, ya que utiliza una serie de símbolos especiales que lo acercan al lenguaje matemático. Se ocupa del razonamiento: deductivo, categórico o de silogismos, como formas de conocimiento científico. Variables: En el lenguaje simbólico de la lógica de proposiciones, a los enunciados simples, atómicos o elementales son los que no pueden descomponerse en otros más simples. Se les llama variables, y se escriben con las letras minúsculas del final del abecedario: «p», «q», «r», «s» … para los casos particulares, o con las letras en mayúscula del principio del alfabeto cuando son casos generales: «A», «B», «C», «D» … Además de las variables, la lógica proposicional tiene otros elementos en su alfabeto: las constantes lógicas y los símbolos auxiliares que forman los enunciados compuestos. Algunas de las marcas léxicas del lenguaje natural, se traducen con una de las cinco constantes lógicas siguientes: ¬ NEGACIÓN: No ٧ DISYUNCIÓN INCLUSIVA: o, o bien, tanto si… como si, ٨ CONJUNCIÓN: y, e, o ni (=y no) → CONDICIONAL: si…. entonces ↔ BICONDICIONAL: si y solo si la lógica formal como aquella ciencia que estudia los razonamientos desde el punto del análisis formal, es decir, desde el punto de vista de su validez o no validez. Esto
significa que se desentiende del contenido empírico de los razonamientos para sólo considerar la "forma" (estructura sin materia)....