LÓGICA La LOGICA es el estudio de las reglas, leyes, modos y formas de razonamiento, que permiten al espíritu alcanzar la verdad. También puede entenderse como la ciencia formal que estudia la validez de la inferencia. EXPRESIÓN FORMAL Una expresión es FORMAL cuando su validez depende de modo exclusivo de su forma y no del contenido. Una conclusión es lógico formal, cuando su validez depende exclusivamente de su forma y no del contenido de la ley a que hace referencia. ESQUEMA DE EXPRESIÓN Si la expresión “Hoy llueve en Lima”, que puede ser VERDADERA o FALSA, CORECTA o INCORRECTA, dependiendo de que realmente llueva o no en Lima; la escribimos “Hoy llueve en…”, o mejor aún, “Hoy llueve en x”; estaremos ante una expresión denominada esqueleto de expresión o bien esquema de expresión. Las variables, x, y, z significan lugares vacíos en los esquemas de expresiones que se refieren a una determinada clase de objetos.

LÓGICA FORMAL La Lógica puramente formal deja de lado la materia, contenido de los juicios y de los razonamientos, para no considerar más que su forma, es decir, la manera cómo una idea o información está unida a otra, los juicios a otros juicios, cualesquiera sean los objetos representados.

LÓGICA PROPOSICIONAL PROPOSICIONES VF Es decir, una PROPOSICIÓN (VF) es una expresión, enunciado o información, acerca del cual se puede afirmar que es verdadero o falso, pero no ambas a la vez. CONECTIVOS LÓGICOS U OPERADORES Son términos como “y”, “o”, “cuando…, entonces”, “ni…ni”, “no”, “es decir”, “por tanto”, “por ello”, “por consiguiente”, “según ello”, “porque”, “pues”, “ya que”, “luego”, etc., que sirven de enlace para las proposiciones VF.

EJEMPLOS -“25 es mayor que 11” -“Hay varios tipos de Democracia” -“Todo cuadrado es un rectángulo y todo rectángulo es un cuadrado” PROPOSICIONES (VF), ATÓMICAS Y MOLECULARES 1)Las proposiciones ATÓMICAS, llevan un sólo sujeto y un sólo predicado, y no llevan operador lógico. Se llaman también proposiciones monádicas o monarias.

EJEMPLOS - 116 y 8