nativelib.net logo NativeLib bn বাংলা ▼

গাণিতিক যুক্তিবিদ্যা / Lógica matemática - শব্দভান্ডার

প্রস্তাব
proposición
বিধেয়
predicado
পরিমাপক
cuantificador
টাউটোলজি
tautología
দ্বন্দ্ব
contradicción
অনুমান
inferencia
পদ্ধতি
modalidad
স্বতঃসিদ্ধ
axioma
উপপাদ্য
teorema
প্রমাণ
prueba
মডেল
modelo
ধারাবাহিকতা
consistencia
সম্পূর্ণতা
lo completo
সুস্থতা
solvencia
অস্বীকার
negación
সংযোগ
conjunción
বিচ্ছেদ
disyunción
অন্তর্নিহিত অর্থ
implicación
সমতা
equivalencia
বাক্য গঠন
sintaxis
শব্দার্থবিদ্যা
semántica
পরিবর্তনশীল
variable
ফাংশন
función
সম্পর্ক
relación
ডোমেইন
dominio
ব্যাখ্যা
interpretación
কর্তন
deducción
প্ররোচনা
vinculación
লজিক্যাল সংযোগকারী
conectores lógicos
বিধেয় যুক্তি
lógica de predicados
প্রস্তাবমূলক যুক্তি
lógica proposicional
প্রথম সারির
primer orden
দ্বিতীয় সারির
de segundo orden
মডেল তত্ত্ব
teoría de modelos
প্রমাণ তত্ত্ব
teoría de la prueba
সেট তত্ত্ব
teoría de conjuntos
আনুষ্ঠানিক ব্যবস্থা
sistema formal
মেটা-তত্ত্ব
metateoría
সিদ্ধান্ত গ্রহণযোগ্যতা
decidibilidad
পুনরাবৃত্তি
recursión
স্থির বিন্দু
punto fijo
সমন্বয়বিদ্যা
combinatoria
অটোমেটন
autómata
গণনাযোগ্যতা
computabilidad
লজিক গেট
puerta lógica
বুলিয়ান বীজগণিত
álgebra de Boole
স্বাভাবিক রূপ
forma normal
পরিণতি
consecuencia
ধারাবাহিকতা
consistencia
খণ্ডন
refutación