انتقل إلى المحتوى
القائمة الرئيسية
القائمة الرئيسية
انقل للشريط الجانبي
أخف
الموسوعة
الصفحة الرئيسية
الأحداث الجارية
أحدث التغييرات
أحدث التغييرات الأساسية
تصفح
المواضيع
أبجدي
بوابات
مقالة عشوائية
تصفح من غير إنترنت
مشاركة
تواصل مع ويكيبيديا
مساعدة
الميدان
تبرع
لغات
وصلات اللغة توجد في الجزء العلوي من الصفحة مقابل العنوان.
بحث
بحث
إنشاء حساب
دخول
أدوات شخصية
إنشاء حساب
دخول
صفحات للمحررين الذين سجَّلوا خروجهم
تعلَّم المزيد
مساهمات
نقاش
قالب
:
رموز منطقية
6 لغات
বাংলা
English
فارسی
Bahasa Indonesia
日本語
Português
عدل الوصلات
قالب
نقاش
العربية
اقرأ
عدل المصدر
تاريخ
أدوات
أدوات
انقل للشريط الجانبي
أخف
إجراءات
اقرأ
عدل المصدر
تاريخ
عام
ماذا يصل هنا
تغييرات ذات علاقة
رفع ملف
الصفحات الخاصة
وصلة دائمة
معلومات الصفحة
احصل على مسار مختصر
عنصر ويكي بيانات
طباعة/تصدير
تحميل بصيغة PDF
نسخة للطباعة
من ويكيبيديا، الموسوعة الحرة
ع
ن
ت
أبرز الرموز في المنطق
∧
or
&
و
∨
أو
¬
أو
~
ليس
→
يقتضي
⊃
يقتضي
,
مجموعة فائقة
≡
إذا وفقط إذا
|
اقتران سالب
∀
مكمم عام
[لغات أخرى]
∃
existential
quantification
⊤
طوطولوجيا
⊥
خاطئ
,
تناقض
⊢
تستلزم,
تثبت
⊨
تستلزم,
إذن
∴
إذن
∵
لأن
تصنيف
:
قوالب منطق
تبديل عرض المحتوى المحدود