La
____________________
matemática
es
una
variedad
de
la
lógica
filosófica
.
Podemos
pensar
a
la
lógica
como
el
estudio
del
razonamiento
correcto
.
El
____________________
es
el
proceso
de
obtener
conclusiones
a
partir
de
suposiciones
o
hechos
.
El
razonamiento
correcto
es
el
razonamiento
en
el
que
las
conclusiones
se
siguen
necesaria
e
inevitablemente
de
las
suposiciones
o
hechos
.
Se
define
como
____________________
o
enunciado
a
una
oración
declarativa
carente
de
ambigüedad
,
que
es
verdadera
o
falsa
,
pero
nunca
las
dos
cosas
simultáneamente
.
La
veracidad
o
falsedad
de
un
enunciado
se
llama
su
"
____________________
____________________
____________________
"
.
Los
términos
verdadero
o
falso
se
consideran
como
atributos
de
una
proposición
,
excluyéndose
de
ellos
toda
interpretación
filosófica
.
En
aritmética
se
realizan
____________________
mediante
operadores
elementales
,
tales
como
+
,
-
,
x
,
÷
,
etc
.
En
lógica
matemática
se
dispone
de
los
denominados
operadores
lógicos
,
que
permiten
modificar
proposiciones
,
o
asociar
dos
o
más
enunciados
simples
,
convirtiéndolos
en
____________________
____________________
.
Estos
operadores
lógicos
utilizan
unos
conectores
.
Los
____________________
____________________
permiten
relacionar
proposiciones
para
formar
nuevas
proposiciones
.
Igualmente
permiten
definir
operaciones
en
los
conjuntos
para
obtener
nuevos
conjuntos
.