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