2. Al estudiar la lógica
clásica, hemos
constatado el hecho
de que la relación
fundamental que se
estudia es la del
verbo ser.
OBJETO
DE LA
LÓGICA
MATEMÁTIC
A.
DEFINICIÓN
Esto significa que el
interés de la lógica
matemática recae en la
proposición integralmente
considerada, lo cual no
es obstáculo para
efectuar en algún nivel
ciertos análisis de las
proposiciones.
2
4. Una
proposición
simple puede
ser verdadera o
falsa, pero no
verdadera y
falsa a la vez.
VALOR DE VERDAD.
DEFINICIÓN
Las proposiciones
complejas que están
compuestas de dos o
más proposiciones
simples, pueden tener
diversas posibilidades
de verdad.
4
5. PROPOSICIO
NES Y
FUNCIONES.
DEFINICIÓN
En el caso de la
lógica matemática
de proposiciones no
analizadas, los
elementos del
razonamiento lógico
son de dos clases:
a) Variables de
proposición,
que
representan el
contenido
fáctico del
lenguaje.
b) Funciones de
proposición, que
representan las
operaciones lógicomatemáticas que pueden
realizarse entre las
variables de proposición.
5
6. MÉTODO
DE LA
LÓGICA
MATEMÁTI
CA
Considera la lógica
matemática como
punto de partida las
relaciones de
“inclusión” (producto
lógico) y de “exclusión”
(suma lógica).
DEFINICIÓN
Por ese medio pretenden
analizar a un nivel
metalógico (más que
lógico) todo tipo de
razonamiento desde la
forma cuantitativa de ese
mismo razonamiento.
6
7. QUE ES
LÓGICA
MATEMÁTI
CA
DEFINICIÓN
La lógica matemática es
una parte de la lógica y
las matemáticas, que
consiste en el estudio
matemático de la lógica y
en la aplicación de este
estudio a otras áreas de
las matemáticas.
7