nativelib.net logo NativeLib en ENGLISH ▼

ریاضی کی منطق / Mathematical Logic - Lexicon

تجویز
proposition
پیش گوئی
predicate
کوانٹیفائر
quantifier
tautology
tautology
تضاد
contradiction
اندازہ
inference
طریقہ کار
modality
محور
axiom
نظریہ
theorem
ثبوت
proof
ماڈل
model
مستقل مزاجی
consistency
مکملیت
completeness
صحت مندی
soundness
نفی
negation
کنکشن
conjunction
علیحدگی
disjunction
مضمرات
implication
مساوات
equivalence
نحو
syntax
سیمنٹکس
semantics
متغیر
variable
فنکشن
function
رشتہ
relation
ڈومین
domain
تشریح
interpretation
کٹوتی
deduction
entailment
entailment
منطقی کنکشن
logical connectives
پیش گوئی منطق
predicate logic
تجویزی منطق
propositional logic
پہلا آرڈر
first-order
دوسری ترتیب
second-order
ماڈل تھیوری
model theory
ثبوت نظریہ
proof theory
سیٹ تھیوری
set theory
رسمی نظام
formal system
میٹا تھیوری
meta-theory
فیصلہ کن صلاحیت
decidability
تکرار
recursion
مقررہ نقطہ
fixed point
امتزاج
combinatorics
آٹومیٹن
automaton
کمپیوٹیبلٹی
computability
منطق کا دروازہ
logic gate
بولین الجبرا
Boolean algebra
عام شکل
normal form
نتیجہ
consequence
مستقل مزاجی
consistency
تردید
refutation