LENGUAJE Y RAZONAMIENTO LGICO

1. LENGUAJES NATURALES Y ARTIFICIALES. 2. LA LGICA COMO CIENCIA DEL LENGUAJE. 3. LGICA PROPOSICIONAL. 3.1. Clculo proposicional. - Smbolos elementales. - Reglas de formacin. 3.2. Tablas de verdad. 3.3. Reglas de transformacin. 4. LGICA DE CLASES. 4.1. Relaciones entre clases. 4.2. Operaciones entre clases. 4.3. Lgica aristotlica.

1. LENGUAJES NATURALES Y ARTIFICIALES.

Lenguaje natural. Cualquier lenguaje que se aprende por sentido comn, a travs de la convivencia, sin ningn tipo de conocimiento tcnico. Lenguaje artificial. Cdigo inventado para determinadas disciplinas y leyes, para utilizarlo de determinadas maneras. No sabemos utilizar el lenguaje si no aprendemos a utilizar sus tcnicas u cmo se combinan sus elementos y reglas. Todo lenguaje formal tiene que tener los siguientes elementos: - Tabla de smbolos. stos se combinan entre si a travs de reglas. - Reglas de combinacin. Que no se permite combinar los smbolos entre s. - Reglas de transformacin. Que permitan transformar una frmula en otra y que sea equivalente.

2. LA LGICA COMO CIENCIA DEL LENGUAJE.

Lgica. Ciencia del razonamiento y, por tanto, utiliza el lenguaje. Lo que verdaderamente utiliza es el metalenguaje. Metalenguaje. Estudio del lenguaje. Lenguaje. Estudio del conjunto de signos y smbolos para representar la realidad. La lgica estudia si el razonamiento de las cosas es correcto. No tiene relacin directa con la realidad, y slo nos importa lo que va relacionado con ste.

3. LGICA PROPOSICIONAL.
Trata de las proposiciones. Slo le interesan las proposiciones, afirman algo sobre la realidad, no le interesa lo subjetivo. Dentro de las proposiciones hay un sujeto y un predicado. Si contamos el nmero de verbos podemos saber el tipo de proposicin que es: - Simple (un verbo). Atmica. - Compuesta (varios verbos). Molecular. Razonamiento. Procedimiento de deduccin en el que a partir de dos o ms enunciados se obtiene otro como conclusin; que como procede del anterior es verdadero. 3.1. CLCULO PROPOSICIONAL. Variables proposicionales. Representan las proposiciones y se utilizan las letras en minscula a partir de la p en orden alfabtico. Operadores lgicos. Smbolos de constantes que sirven para relacionar proposiciones, son: - Negacin. no - Conjuncin. ^ y - Disyuncin: Inclusiva. ... o ... Exclusiva. o ... o ... - Condicional. si ... entonces ... - Bicondicional. si y slo si ... entonces ... Auxiliares. Corchetes o parntesis [...], (...). Definen el orden en que se relacionan los smbolos y su colocacin.

Reglas de formacin.
Operador de negacin se coloca siempre delante de la proposicin, el resto se coloca entre las proposciones que unen. - Jerarqua. Bicandicional > condicional > conjuncin/disyuncin > negacin (si est delante es el dominante si no es el ltimo). Con parntesis o corchetes depende de los que estn dentro de stos. 3.2. TABLAS DE VERDAD. Los operadores pueden ser: - Mondicos. Afectan slo a una proposicin. - Didicos. Afectan a ms de una proposicin. El nmero 1 significa verdad y el nmero 0 significa falsedad. Las proposiciones pueden ser: - Tautolgica. En la ltima fila de la tabla de verdad hay todo 1. - Indeterminada. En la ltima fila de la tabla de verdad hay 1 y 0. - Contradictoria. En la ltima fila de la tabla de verdad hay todo 0.

TABLA DE NEGACIN:

TABLA DE CONJUNCIN:

TABLA DE CONDICIONAL: p q pq

TABLA DE BICONDICIONAL: p 1 1 0 0 q 1 0 1 0 p q 1 0 0 1

1 1 1 1 0 0 0 1 1 0 0 1 TABLA DE DISYUNCIN: INCLUSIVA EXCLUSIVA

3.3. REGLAS DE TRANSFORMACIN.

- Ley de doble negacin (L). Se deduce la afirmacin. - Introduccin de la conjuncin (In ^). Si en una premisa tengo una proposicin y en la otra premisa tengo otra proposicin puedo poner en medio una conjuncin. - Eliminacin de la disyuncin (El ). Si tienes la negacin de una de las premisas del clculo puedes sacar la otra premisa. - Conmutativa de la conjuncin (Conm. ^). Se cambia el orden. - Conmutativa de la disyuncin (Conm. ). Se cambia el orden. - Asociativa de la conjuncin (Asoc. ^). Da igual el grupo. - Asociativa de la disyuncin (Asoc. ). Da igual el grupo. - Distributiva de la conjuncin (Dist. ^). Es la unin de dos conjunciones con una disyuncin entre medio de las dos. - Distributiva de la disyuncin (Dist. ). Es la unin de dos disyunciones con una conjuncin entre medio de las dos. - Leyes de Morgan (L.M). - La negacin de la conjuncin es igual que la disyuncin negativa. - La negacin de la disyuncin es igual que la conjuncin negativa. - Modus Poniendo Ponens (M.P). Si en una premisa tenemos un condicional y en otra el antecedente de ese condicional, podemos concluir el consecuente. - Modus Tollendo Tollens (M.T). Si en una premisa tenemos un condicional y en otra la negacin del consecuente, podemos concluir la negacin del antecedente. - Silogismo hipottico (Sil. Hip.). En una premisa tenemos un condicional y en la otra, otro condicional, cuyo antecedente es el consecuente de la primera y el consecuente de la segunda. - Ley del dilema (L.D.). En una premisa tenemos una disyuncin, en otra un condicional cuyo antecedente es el consecuente de la otra premisa de la disyuncin, otro condicional cuyo antecedente sea el otro trmino de la disyuncin. En conclusin, disyuncin entre los dos consecuentes.

- Eliminacin del bicondicional (El. ). Si tienes la bicondicional de dos proposiciones puedes sacar la condicional de las dos premisas.

- Introduccin de la bicondicional (In. ). Si tienes la condicional de dos proposiciones puedes sacar la condicional de las dos premisas.

4. LGICA DE CLASES.
Clase. Conjunto de elementos, individuos, cosas, con una caracterstica comn. Puede ser definida de dos modos. - Comprensin. Cuando se dice la caracterstica que tienen que cumplir los miembros de la clase. Ej: A = {x/x son das de la semana}. - Extensin. Se nombran todos y cada uno de los miembros de esa clase. Ej: A = {lunes, martes, mircoles, jueves, viernes, sbado, domingo}. Pertenencia. Relacin entre las clases y los smbolos. Smbolos. a, b, c... representan individuos o miembros de las clases. X A (pertenece). (clase nula). X A (no pertenece). (clase universal (al revs)). 4.1. RELACIONES ENTRE CLASES. Pueden ser: - Identidad. Dos clases son idnticas cuando los miembros de una lo son tambin de la otra y viceversa. A=B AB
A B

Inclusin. La clase A est incluida en la clase B cuando todos los miembros de A lo son de B pero no todos los de B estn incluidos en A. AcB
B A

Disyuncin. Las clases son disyuntas cuando los miembros de la clase A no tienen ninguna relacin con los de la clase B.

A -

Distincin. Dos clases son distintas cuando tienen algunos elementos en comn, pero no son idnticas.

4.2. OPERACIONES ENTRE CLASES. - Suma de clases. La unin de dos clases es, otra clase compuesta por los miembros de A ms los miembros de B ms los miembros de ambas. A U B

Interseccin o producto lgico. Es otra clase compuesta por miembros de A que tambin lo sean de B. AB

Diferencia de clases. Es igual a otra clase cuyos miembros son los miembros de A que no pertenecen a B. A - B

Clase complementaria. Es la clase cuyos miembros son no pertenecientes a A pero que pertenecen a la clase universal.

4.3. LGICA ARISTOTLICA. Es el primer sistema de lgica que se hizo, y se escribi bajo el ttulo de Organon en el siglo V d.C. Dividido en seis libros, uno de ellos es del Silogismo, que consiste en un argumento en el que a partir de dos premisas se obtiene una conclusin. Cada silogismo se compone de premisas o enunciados. Los enunciados pueden ser: - Segn la cualidad. Afirmativos (es). Negativos (no es). - Segn la cantidad. Universales (todo, ningn). Particulares (algn). - Funcin en la premisa. Mayor (predicado, p). Menor (sujeto, s). Medio (no es ni mayor ni menor, m). Combinando la cualidad y la cantidad pueden ser: - Universales afirmativos (A). Todo s es p. - Universales negativos (E). Ningn s es p. - Particulares afirmativos (I). Algn s es p. - Particulares negativos (O). Algn s no es p. Relaciones entre distintos enunciados.

Reglas para ser silogismo. - Un silogismo incluye tres trminos repetidos dos veces cada uno, y son: trmino mayor, menor y medio. - El trmino que hace de sujeto (s) es el trmino menor. El trmino que hace de predicado (p) es el trmino mayor. El otro trmino que queda es el trmino medio (m). Este estar en las dos premisas, pero no en la conclusin. - Al menos una vez, el trmino mayor debe estar tomado en toda su extensin. - Los trminos no pueden tener mayor extensin en la concusin que en las premisas. - De dos enunciados particulares no puede seguir una conclusin. - De dos enunciados negativos no puede seguir una conclusin. - La conclusin siempre sigue la peor parte. - Un trmino no puede tener menor extensin en las premisas que en la conclusin. Estructuras y modos. 1 Figura. M P S M S P BARBARA CELARENT DARII FERIO 2 Figura. P M S M S P CESARE CAMESTRES FESTINO BAROCO 3 Figura.

M P M S S P DISAMIS DATISI BOCARDO FERISON DARAPTI FELAPTON 4 Figura. P M M S S P BAMALIP CALEMES DIMATIS FRESISON FESAPO Reglas de transformacin. M Cambio de premisas S Cambio de trminos P Cambio de trminos y cantidad.