RESUMEN LGICA PROPOCICIONAL

La lgica es la disciplina o estudio, que se encarga de trabajar, desde un punto de vista acadmico y serio, los diferentes tiempos, partes y estructuras del razonamiento correcto, que se emplea desde la vida cotidiana hasta la misma actividad acadmica y estructurada, por los investigadores, lo cual es el punto de partida del mtodo cientfico, y que es meramente intuitivo. (de KOLMAN,1996 Y
JOHNSONBAUGH, 1999).

Desde la lgica, es imposible la determinacin de algo verdadero o falso, si no se comprende lo que corresponde a la estructura de carcter textual de un pensamiento ordenado y sistemtico, siendo esta unidad bsica la proposicin. Una proposicin o enunciado es una oracin que declara algo falso o verdadero, pero nunca ambas
Kolman, 1996.

La proposicin, es una afirmacin, declarativa y de carcter directo, que define un acto, cosa o situacin, dependiendo de un estado de quien declara o afirma, pero estas a su vez, tienen cierta caracterizacin dependiendo de su estructura y complejidad. Estas dos partes son las Proposiciones Atmicas, y las Proposiciones Moleculares; las primeras, solo afirman o niegan en un solo tiempo (una sola vez) y son las estructura base de la gramtica lgica, mientras que las segundas, son la unin de 2 ms proposiciones atmicas, a partir de los llamados trminos de enlaces de proposiciones, los cuales permiten la conexin entre estas partes, y que segn su funcin, le dan cierto significado al conjunto en general. Estos enlaces, cumplen con la funcin de articular dos prop. atmicas, para formar una prop. molecular, pero tambin de asignarle un direccionamiento a el conjunto en general, los principales trminos de enlace son: Y, O, NO, y SI.ENTONCES, y siendo la conjuncin NO, la nica que le da sentido a una oracin atmica, el de molecular, simplemente al unirla a esta. Ejemplo: Hoy hay clase de clculo. Hoy no hay clase de clculo. La primera, es una proposicin atmica afirmativa, y habra que esperar a que acabe el da de hoy para determinar si es verdadera o falsa, mientras que la segunda es del mismo carcter afirmativo, de posibilidad verdadero o falso, pero que le da una esencia de negacin directa a lo que era el primer ejemplo. (de
SUPPES, 1988).

La forma de proposiciones moleculares. En la forma en que estn unidas las proposiciones, no interfiere su contenido, pues tcnicamente cualquiera puede unirse a otra, lo cual dar como resultado una tercera con relacin a sus predecesoras, pero con sentido completamente diferente, y es por eso que la estructura en que estn conformadas estas afirmaciones es importante, pues una simple agrupacin o el cambio de 2 enlaces, pueden dar giro al significado final y esperado. (de SUPPES, 1988). Simbolizacin de proposiciones. La estructura de un complejo lgico, y estructurado (para evitar confusiones y problemas), de una manera ordenada, se le da unos smbolos (letras maysculas como W, T, Z y G), que representan la estructura bsica. Ejemplo: D= El invierno es seco P= La luz es blanca La proposicin molecular seria El invierno es seco Y la luz es blanca, es este caso se representara: (D) y (P), para la unin bsica entre P y D. (de SUPPES,
1988).

Los elementos de unin. Para determinar cierta unin se denota de la siguiente forma (siempre en parntesis cada termino): Unin (Y): (D) & (P) Disyuncin (O): (D) V (P) Negacin (NO): (D) Si Entonces: (P) (Q) Agrupacin y Eliminacin (de algunos) Parntesis. Cualquier grupo de proposiciones se pueden agrupar, y dependiendo del termino que est afuera del los parntesis, se puede eliminar o no. Ejemplo: (D & P) (Y) Se puede simplificar en Pero (D) & (P Y) No se puede simplificar, ya que el SiEntonces no puede descomprimirse, pues tendra otro significado.
(de SUPPES, 1988). (de SUPPES, 1988).

D & P (Y)