مندرجات کا رخ کریں
مرکزی مینو
مرکزی مینو
بغلی پٹی پر جائیں
چھپائیں
ویکی پیمائی
صفحۂ اول
جستہ جستہ مطالعہ
نیا مضمون تحریر کریں
رابطہ کریں
تعامل
ویکیپیڈیا پر آغاز کریں
معاونت
دیوان عام
حالیہ تبدیلیاں
مشاہدات اعلیٰ
تعداد ناظرین
عطیہ دیجیے
اپلوڈ تصویر
تلاش
تلاش
کھاتہ بنائیں
داخل ہوں
ذاتی آلات
کھاتہ بنائیں
داخل ہوں
Pages for logged out editors
مزید تفصیلات
شراکتیں
تبادلۂ خیال
مندرجات
بغلی پٹی پر جائیں
چھپائیں
دیباچہ
1
حوالہ جات
فہرست عناوین دیکھیں
مسلمات
زبانیں شامل کریں
اضافہ روابط
صفحہ
تبادلۂ خیال
اردو
مطالعہ
ترمیم
تاریخچہ
آلات
آلات
بغلی پٹی پر جائیں
چھپائیں
اقدامات
مطالعہ
ترمیم
تاریخچہ
عمومی
مربوط صفحات
متعلقہ تبدیلیاں
خصوصی صفحات
مستقل ربط
معلومات صفحہ
مضمون کا حوالہ
مختصر یوآرایل
ڈاؤن لوڈ کیوآر
مختصر یوآرایل
ڈیٹا آئٹم
طباعت/برآمد
تخلیق کتاب
ڈاؤن لوڈ بشکلPDF
قابل طبع نسخہ
آزاد دائرۃ المعارف، ویکیپیڈیا سے
اصطلاح
term
مسلمات
Axioms
حوالہ جات
[
ترمیم
]
د
ب
ت
ریاضیاتی منطق
عام
Axiom
Class
Element
Formation rule
Logical consequence
Natural deduction
Relation
Rule of inference
سیٹ
Symbol
Syntax
قضیہ
Theory
Type theory
Well-formed formula
نظامات
Axiomatic
Classical
Deductive
Formal
language
proof
semantics
Traditional logic
قضیہ (منطق)
استدلال
Argument
Validity
منطقی استدلال
قیاس
Square of opposition
Venn diagram
Propositional calculus
Boolean logic
Boolean function
s
Propositional formula
منطقی عامل
Truth table
s
Predicate logic
First-order
Quantifiers
Predicate
Second-order
Monadic predicate calculus
Set theory
Naive
Domain
Enumeration
Extensionality
فنکشن
Map
مرتب جوڑا
Range
Relation
سیٹ
کی اقسام
Countable
Empty
Finite
Infinite
Power
Recursive
Subset
Uncountable
رسمی
Axiom of choice
نظریات
Zermelo
General
Zermelo–Fraenkel
von Neumann–Bernays–Gödel
Morse–Kelley
Kripke–Platek
Tarski–Grothendieck
نمونے کا نظریہ
Model
Interpretation
Non-standard model
Finite model theory
Truth value
Validity
Proof theory
Formal proof
Deductive system
Formal system
قضیہ
Logical consequence
Rule of inference
Syntax
Computability theory
Recursion
Recursive set
Recursively enumerable set
Decision problem
Church–Turing thesis
Computable function
Primitive recursive function
Foundations of mathematics
زمرہ جات
:
تشکیلی نظامات
ریاضیاتی اصطلاحیات
نظریات منطق
Toggle limited content width