LGICA La LOGICA es el estudio de las reglas, leyes, modos y formas de razonamiento, que

permiten al espritu alcanzar la verdad. Tambin puede entenderse como la ciencia formal que
estudia la validez de la inferencia. EXPRESIN FORMAL Una expresin es FORMAL cuando su
validez depende de modo exclusivo de su forma y no del contenido. Una conclusin es lgico
formal, cuando su validez depende exclusivamente de su forma y no del contenido de la ley a
que hace referencia. ESQUEMA DE EXPRESIN Si la expresin 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 an, Hoy llueve en x; estaremos ante una
expresin denominada esqueleto de expresin o bien esquema de expresin. Las variables, x,
y, z significan lugares vacos en los esquemas de expresiones que se refieren a una
determinada clase de objetos. LGICA FORMAL La Lgica puramente formal deja de lado la
materia, contenido de los juicios y de los razonamientos, para no considerar ms que su forma,
es decir, la manera cmo una idea o informacin est unida a otra, los juicios a otros juicios,
cualesquiera sean los objetos representados. LGICA PROPOSICIONAL PROPOSICIONES VF Es
decir, una PROPOSICIN (VF) es una expresin, enunciado o informacin, acerca del cual se
puede afirmar que es verdadero o falso, pero no ambas a la vez. CONECTIVOS LGICOS U
OPERADORES Son trminos como y, o, cuando, entonces, nini, no, es decir,
por tanto, por ello, por consiguiente, segn 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 rectngulo y todo rectngulo es un
cuadrado PROPOSICIONES (VF), ATMICAS Y MOLECULARES 1)Las proposiciones ATMICAS,
llevan un slo sujeto y un slo predicado, y no llevan operador lgico. Se llaman tambin
proposiciones mondicas o monarias. EJEMPLOS - 116 y 8

LGICA La LOGICA es el estudio de las reglas, leyes, modos y formas de razonamiento, que
permiten al espritu alcanzar la verdad. Tambin puede entenderse como la ciencia formal que
estudia la validez de la inferencia. EXPRESIN FORMAL Una expresin es FORMAL cuando su
validez depende de modo exclusivo de su forma y no del contenido. Una conclusin es lgico
formal, cuando su validez depende exclusivamente de su forma y no del contenido de la ley a
que hace referencia. ESQUEMA DE EXPRESIN Si la expresin 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 an, Hoy llueve en x; estaremos ante una
expresin denominada esqueleto de expresin o bien esquema de expresin. Las variables, x,
y, z significan lugares vacos en los esquemas de expresiones que se refieren a una
determinada clase de objetos. LGICA FORMAL La Lgica puramente formal deja de lado la
materia, contenido de los juicios y de los razonamientos, para no considerar ms que su forma,
es decir, la manera cmo una idea o informacin est unida a otra, los juicios a otros juicios,
cualesquiera sean los objetos representados. LGICA PROPOSICIONAL PROPOSICIONES VF Es
decir, una PROPOSICIN (VF) es una expresin, enunciado o informacin, acerca del cual se
puede afirmar que es verdadero o falso, pero no ambas a la vez. CONECTIVOS LGICOS U
OPERADORES Son trminos como y, o, cuando, entonces, nini, no, es decir,
por tanto, por ello, por consiguiente, segn 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 rectngulo y todo rectngulo es un
cuadrado PROPOSICIONES (VF), ATMICAS Y MOLECULARES 1)Las proposiciones ATMICAS,
llevan un slo sujeto y un slo predicado, y no llevan operador lgico. Se llaman tambin
proposiciones mondicas o monarias. EJEMPLOS - 116 y 8
LGICA La LOGICA es el estudio de las reglas, leyes, modos y formas de razonamiento, que
permiten al espritu alcanzar la verdad. Tambin puede entenderse como la ciencia formal que
estudia la validez de la inferencia. EXPRESIN FORMAL Una expresin es FORMAL cuando su
validez depende de modo exclusivo de su forma y no del contenido. Una conclusin es lgico
formal, cuando su validez depende exclusivamente de su forma y no del contenido de la ley a
que hace referencia. ESQUEMA DE EXPRESIN Si la expresin 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 an, Hoy llueve en x; estaremos ante una
expresin denominada esqueleto de expresin o bien esquema de expresin. Las variables, x,
y, z significan lugares vacos en los esquemas de expresiones que se refieren a una
determinada clase de objetos. LGICA FORMAL La Lgica puramente formal deja de lado la
materia, contenido de los juicios y de los razonamientos, para no considerar ms que su forma,
es decir, la manera cmo una idea o informacin est unida a otra, los juicios a otros juicios,
cualesquiera sean los objetos representados. LGICA PROPOSICIONAL PROPOSICIONES VF Es
decir, una PROPOSICIN (VF) es una expresin, enunciado o informacin, acerca del cual se
puede afirmar que es verdadero o falso, pero no ambas a la vez. CONECTIVOS LGICOS U
OPERADORES Son trminos como y, o, cuando, entonces, nini, no, es decir,
por tanto, por ello, por consiguiente, segn 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 rectngulo y todo rectngulo es un
cuadrado PROPOSICIONES (VF), ATMICAS Y MOLECULARES 1)Las proposiciones ATMICAS,
llevan un slo sujeto y un slo predicado, y no llevan operador lgico. Se llaman tambin
proposiciones mondicas o monarias. EJEMPLOS - 116 y 8