QUE PRETENDE LA LGICA MATEMTICA.

La lgica matemtica es el intento de dar una forma universal al

pensamiento, expresndolo por un sistema unvoco de signos (estos
quiere decir, un sistema en el que cada signo tenga un solo significado
en un mismo contexto), con un sistema de relaciones entre esos signos
comparable al clculo matemtico, para alcanzar as todas las verdades.
La lgica matemtica pretende hacer que todas las relaciones reales se
vuelvan formales; pretende reducirlas a una expresin matemtica
que pueda ser calculada como en las matemticas.
Por esa razn es que se le llama tambin lgebra de la lgica.
OBJETO DE LA LGICA MATEMTICA.
Al estudiar la lgica clsica, hemos constatado el hecho de que la
relacin fundamental que se estudia es la del verbo ser.
Eso es as porque la lgica clsica es una lgica que parte del anlisis
de las proposiciones en sus trminos componentes: considerar slo una
relacin o reducir las dems relaciones a una sola simplifica el asunto y
posibilita la construccin formal de la lgica clsica.
La lgica matemtica considera las proposiciones como formando una
unidad de significado, como una proposicin ya constituida, por eso es
que la lgica matemtica ha sido llamada tambin lgica de
proposiciones no analizadas.
Esto significa que el inters de la lgica matemtica recae en la
proposicin integralmente considerada, lo cual no es obstculo para
efectuar en algn nivel ciertos anlisis de las proposiciones.
MTODO DE LA LGICA MATEMTICA.

Considera la lgica matemtica como punto de partida las relaciones de

inclusin (producto lgico) y de exclusin (suma lgica).
A partir de esas relaciones se puede establecer un sistema de
simbolizacin como el del lgebra en el cual pueda expresarse toda
proposicin del lenguaje y de la ciencia.
Por ese medio pretenden analizar a un nivel metalgico (ms que lgico)
todo tipo de razonamiento desde la forma cuantitativa de ese mismo
razonamiento.
PARTCULAS FCTICAS Y LGICAS DEL LENGUAJE.
Las partculas fcticas (del latn factum que quiere decir hecho) son
aquellas partculas variables que pueden tener referencia a un objeto o
acontecimiento.
Las partculas lgicas son aquellas partculas que determinan a las
partculas fcticas ya sea limitndolas (cuantificadores) o bien
relacionndolas (funciones).
PROPOSICIONES Y FUNCIONES.
En el caso de la lgica matemtica de proposiciones no analizadas, los
elementos del razonamiento lgico son de dos clases:
a) Variables de proposicin, que representan el contenido fctico del
lenguaje.
b) Funciones de proposicin, que representan las operaciones lgicomatemticas que pueden realizarse entre las variables de proposicin.
VALOR DE VERDAD.
Una proposicin simple puede ser verdadera o falsa, pero no verdadera
y falsa a la vez.

Las proposiciones complejas que estn compuestas de dos o ms

proposiciones simples, pueden tener diversas posibilidades de verdad.
Si es n el nmero de proposiciones simples que integran la proposicin
compleja, el nmero de posibilidades de verdad de la proposicin
compleja vendr indicado por 2n.
Cada una de las proposiciones simples puede simbolizarse por una letra
minscula de la p en adelante, as: p, q, r, s, ..., p, q, ..., p, q,
TABLA DE VERDAD.
Si ordenamos las posibilidades de verdad de una proposicin, nos
encontramos son su tabla de verdad.
La tabla de verdad nos refleja grficamente las condiciones de verdad de
una proposicin. Veamos algunos ejemplos: