nativelib.net logo NativeLib es ESPAÑOL ▼

Lógica matemática / Logika Matematika - Vocabulario

proposición
usul
predicado
predikat
cuantificador
pengukur
tautología
tautologi
contradicción
kontradiksi
inferencia
inferensi
modalidad
modalitas
axioma
aksioma
teorema
teorema
prueba
bukti
modelo
model
consistencia
konsistensi
lo completo
kelengkapan
solvencia
kesarasan
negación
negasi
conjunción
konjungsi
disyunción
disjunction
implicación
implikasi
equivalencia
kesetaraan
sintaxis
sintaksis
semántica
semantik
variable
variabel
función
fungsi
relación
sesambetan
dominio
domain
interpretación
interpretasi
deducción
potongan
vinculación
panyuwunan
conectores lógicos
penghubung logis
lógica de predicados
logika predikat
lógica proposicional
logika proposisional
primer orden
urutan pisanan
de segundo orden
urutan kapindho
teoría de modelos
teori model
teoría de la prueba
teori bukti
teoría de conjuntos
nyetel teori
sistema formal
sistem formal
metateoría
meta-teori
decidibilidad
decidability
recursión
rekursi
punto fijo
titik tetep
combinatoria
kombinatorik
autómata
otomatis
computabilidad
komputabilitas
puerta lógica
gerbang logika
álgebra de Boole
Aljabar Boolean
forma normal
wangun normal
consecuencia
jalaran
consistencia
konsistensi
refutación
bantahan