nativelib.net logo NativeLib es ESPAÑOL ▼

Echiche mgbakọ na mwepụ / Lógica matemática - Vocabulario

amụma
proposición
amụma
predicado
quantifier
cuantificador
tautology
tautología
esemokwu
contradicción
ntinye aka
inferencia
ụkpụrụ
modalidad
axiom
axioma
theorem
teorema
ihe akaebe
prueba
ihe nlereanya
modelo
agbanwe agbanwe
consistencia
izu oke
lo completo
ịdị mma
solvencia
njo
negación
njikọ
conjunción
nkwụsịtụ
disyunción
pụtara
implicación
nhata
equivalencia
syntax
sintaxis
semantik
semántica
mgbanwe
variable
ọrụ
función
njikọ
relación
ngalaba
dominio
nkọwa
interpretación
mwepu
deducción
mmachi
vinculación
njikọ ezi uche dị na ya
conectores lógicos
predicate mgbagha
lógica de predicados
echiche echiche
lógica proposicional
mbụ-iji
primer orden
usoro nke abụọ
de segundo orden
tiori nlereanya
teoría de modelos
tiori akaebe
teoría de la prueba
set tiori
teoría de conjuntos
usoro iwu
sistema formal
meta-theory
metateoría
mkpebi siri ike
decidibilidad
nlọghachi azụ
recursión
ebe a kapịrị ọnụ
punto fijo
nchịkọta
combinatoria
akpaaka
autómata
computability
computabilidad
ọnụ ụzọ mgbagha
puerta lógica
Algebra nke boolean
álgebra de Boole
ụdị nkịtị
forma normal
ihe si na ya pụta
consecuencia
agbanwe agbanwe
consistencia
nkwuputa
refutación